5904 search results - page 313 / 1181 » Requirements for a Composition Language |
136
click to vote
ICFP
1996
ACM
15 years 8 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
139
click to vote
ICALP
1990
Springer
15 years 8 months ago
1990
Springer
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...
127
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
127
click to vote
IFIP
2010
Springer
15 years 8 months ago
2010
Springer
: Robotic microhandling is disturbed by the adhesion phenomenon between the micro-object and the grippers. This phenomenon is directly linked to both the object and the gripper sur...
165
click to vote
EEE
2004
IEEE
15 years 8 months ago
2004
IEEE
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...