Sciweavers

5465 search results - page 85 / 1093
» Assigning Types to Processes
Sort
View
ECOOP
2000
Springer
15 years 2 months ago
Ionic Types
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
Simon A. Dobson, Brian Matthews
FOSSACS
2010
Springer
15 years 4 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
ECCV
2004
Springer
15 years 3 months ago
Statistical Imaging for Modeling and Identification of Bacterial Types
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
Sigal Trattner, Hayit Greenspan, Gabi Tepper, Shim...
COORDINATION
2008
Springer
14 years 11 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
SIGDIAL
2010
14 years 7 months ago
Hand Gestures in Disambiguating Types of You Expressions in Multiparty Meetings
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...
Tyler Baldwin, Joyce Yue Chai, Katrin Kirchhoff