Filters








40,864 Hits in 4.2 sec

Modular session types for objects

Simon Gay, Nils Gesbert, António Ravara, Vasco Vasconcelos, Davide Sangiorgi
2015 Logical Methods in Computer Science  
(2) We allow a session type (protocol) implementation to be modularized, i.e. partitioned into separately-callable methods. (3) We treat session-typed communication channels as objects, integrating their  ...  We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class definition, to specify the possible sequences of method calls.  ...  Gay was partially supported by the UK EPSRC (EP/E065708/1 "Engineering Foundations of Web Services", EP/F037368/1 "Behavioural Types for Object-Oriented Languages", EP/K034413/1 "From Data Types to Session  ... 
doi:10.2168/lmcs-11(4:12)2015 fatcat:b7blc53r6fcq3anuu5q33eaa4a

Modular session types for distributed object-oriented programming

Simon J. Gay, Vasco T. Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
2010 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10  
(2) We allow a session type (protocol) implementation to be modularized, i.e. partitioned into separatelycallable methods. (3) We treat session-typed communication channels as objects, integrating their  ...  We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class definition, to specify the possible sequences of method calls.  ...  Ravara was partially supported the Portuguese Fundação para a Ciência e a Tecnologia FCT (SFRH/BSAB/757/2007), and by the UK EPSRC (EP/F037368/1 "Behavioural Types for Object-Oriented Languages").  ... 
doi:10.1145/1706299.1706335 dblp:conf/popl/GayVRGC10 fatcat:jxcumayz5jfaxj5w2ea2h54sg4

Modular session types for distributed object-oriented programming

Simon J. Gay, Vasco T. Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
2010 SIGPLAN notices  
(2) We allow a session type (protocol) implementation to be modularized, i.e. partitioned into separatelycallable methods. (3) We treat session-typed communication channels as objects, integrating their  ...  We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class definition, to specify the possible sequences of method calls.  ...  Ravara was partially supported the Portuguese Fundação para a Ciência e a Tecnologia FCT (SFRH/BSAB/757/2007), and by the UK EPSRC (EP/F037368/1 "Behavioural Types for Object-Oriented Languages").  ... 
doi:10.1145/1707801.1706335 fatcat:ej2wdjb2njgs7l2dc6cltehod4

Experience with modularity in consul

Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
1993 Software, Practice & Experience  
This paper describes our experience using modularity in Consul, a communication substrate used for constructing fault-tolerant distributed programs.  ...  Issues that are addressed include deciding how the system is divided into various modules, dealing with problems that result when protocols are combined, and ensuring that the underlying object infrastructure  ...  Specifically, all protocols except for Psync recognize two types of messages: OT (operation type) messages and MT (monitoring type) messages.  ... 
doi:10.1002/spe.4380231002 fatcat:kvxszigczfeitcpuf4bzogvsyi

DEVELOPMENT, VALIDITY AND RELIABILITY OF PLACE-BASED PROCESS GENRE MODULE (PBPGM)

Abd Halib Mohd Ali, Suyansah Swanto, Wardatul Akmam Din, Jacinta Karen Juin
2021 International Journal of Education, Psychology and Counseling  
The present study is a Type 1 design and developmental research (DDR) study that aims to analyse the situation, design, develop and evaluate an instructional Place-Based Process Genre Module (PBPGM).  ...  All content, sessions and activities were rated above 70%, and all sessions and activities were rated over alpha value of 0.70 indicating that PBPGM was valid and reliable to be experimented with.  ...  Research Objectives To validate the researcher-developed PBPGM's content, sessions and activities. To assess PBPGM's reliability as a modular-based instructional writing module.  ... 
doi:10.35631/ijepc.643021 fatcat:aq366pipe5a3lhbz2pgtpddrs4

Modular Architecture for Pen-Based Digital Ink on Blended Learning Applications

Dan-El Neil Vila Rosado, Margarita Esponda-Argüero, Raúl Rojas
2014 International Journal of Information and Education Technology  
A modular programming architecture for pen-based digital ink was developed in order to provide a robust, reliable, usable and sustainable multimedia technology for a blended learning application.  ...  It is also well know that user interfaces for pen computing can be implemented in several ways, with different techniques and for several kinds of applications.  ...  They have implemented and tested some of the handwriting recognition methods as well as developed some of the modularized applications in PowerChalk.  ... 
doi:10.7763/ijiet.2014.v4.396 fatcat:rnto3irvbfe4znm7q7ttvk7xnu

A Modular Toolkit for Distributed Interactions

Julien Lange, Emilio Tuosto
2011 Electronic Proceedings in Theoretical Computer Science  
The main design principles of our architecture are flexibility and modularity.  ...  We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions.  ...  Our main objective is to describe the design principles for the architecture of a modular toolkit which puts in practise the theories of distributed interactions based on session types.  ... 
doi:10.4204/eptcs.69.7 fatcat:aif465sfxbbsbejfs7rxv3rnye

Objects as session-typed processes

Stephanie Balzer, Frank Pfenning
2015 Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control - AGERE! 2015  
We introduce an object-oriented programming language that has processes as its only objects and employs linear session types to express the protocols of message exchange and to reason about concurrency  ...  In addition, we show that our language facilitates new forms of expression (e.g., type-directed reuse, internal choice), which are not available in current object-oriented languages.  ...  We would like to thank Henry DeYoung for discussions on type-directed delegation and the anonymous reviewers for their helpful comments.  ... 
doi:10.1145/2824815.2824817 dblp:conf/agere/BalzerP15 fatcat:7dniniirafhgnip72ytyoz4p6i

Live Coding on a Modular Synthesizer

Alexandros Drymonitis
2022 Zenodo  
It provides a minimal interface for displaying the code, and four potentiometers implemented as Pyo objects that can be input in any other Pyo class for controlling parameters like frequency, amplitude  ...  Code is a hardware module for the 3dPdModular system that enables writing code live in Python using the Pyo package on a hardware modular synthesizer.  ...  For example, the user can type the following: pots = [Pots(i) for i in range(4)] pots[0].setRange(200) pots[0].setExp(2) This will create a list of four Pot() objects and set the range of the first one  ... 
doi:10.5281/zenodo.5888343 fatcat:ndgrayx7yjf7dasjyrcs5u4lma

Live Coding on a Modular Synthesizer

Alexandros Drymonitis
2022 Zenodo  
It provides a minimal interface for displaying the code, and four potentiometers implemented as Pyo objects that can be input in any other Pyo class for controlling parameters like frequency, amplitude  ...  Code is a hardware module for the 3dPdModular system that enables writing code live in Python using the Pyo package on a hardware modular synthesizer.  ...  For example, the user can type the following: pots = [Pots(i) for i in range(4)] pots[0].setRange(200) pots[0].setExp(2) This will create a list of four Pot() objects and set the range of the first one  ... 
doi:10.5281/zenodo.5888294 fatcat:jvo7gvmepve5tbs6k26b2gyvti

An Enterprise Intelligent System Development And Solution Framework

Rajendra M. Sonar
2007 Zenodo  
Each variable object describes its ID, data type, type of variable and so on. Variable Interface helps to manage the variables. This layer manages the session with users.  ...  The generic transaction data object includes transaction attributes like Date, Time, Amount, Type, Location, etc.  ... 
doi:10.5281/zenodo.1080161 fatcat:jjcpmmq7kjcb7alrig3trfgpje

EJB‐MVC oriented supplier selection system for mass customization

Jiachen Hou, Daizhong Su, Pingyu Jiang
2007 Journal of Manufacturing Technology Management  
Research limitation/implications-The case study is limited to selecting suppliers of two components for an ink cartridge, however, the general approach is applicable to other type of products.  ...  It is inevitable for manufacturers to identify appropriate competitive priorities for each of their potential market segments when designing products.  ...  ASI/B7-301/3152-099/71553) for carrying out the research reported in this paper.  ... 
doi:10.1108/17410380710717643 fatcat:rpkdwwm2y5b57jcjp74d4onugq

Page 122 of American Society of Civil Engineers. Collected Journals Vol. 10, Issue CP2 [page]

1996 American Society of Civil Engineers. Collected Journals  
For example, the process modeling elements in HSM could have a feature that detects the type of follower defined for that element.  ...  For example, the top and left properties, which are graphics properties, are utilized in positioning the object on the screen during an HSM session.  ... 

Page 124 of American Ceramic Society Bulletin Vol. 29, Issue 3 [page]

1950 American Ceramic Society Bulletin  
For a number of years building types derived from the assembly of machined parts have been discussed. The all-metal type build- ing is claiming increasing attention in architectural magazines.  ...  Objectives are (1) to increase the use of present type brick and tile products through the study and improvement of design and construction techniques that will result in a more efficient and economical  ... 

Assessment of Contemporary Modularization Techniques - ACoM'07

Alessandro Garcia, Jianjun Zhao, Phil Greenwood, George Heineman, Robert Walker, Yuanfang Cai, Hong Yul Yang, Elisa Baniassad, Cristina Videira Lopes, Christa Schwanninger
2007 Software engineering notes  
The workshop consisted of an opening presentation, several paper presentations organized into three technical sessions, and four discussion groups.  ...  The main purpose of this workshop was to share and pool the collective experience of people interested in and actively working on assessment of innovative modularization techniques.  ...  In addition, we thank the session chairs for the fine work in coordinating the sessions and promoting interesting discussions, respectively.  ... 
doi:10.1145/1290993.1291005 fatcat:idupgocrw5czbd2kmw5la4zqfm
« Previous Showing results 1 — 15 out of 40,864 results