7121 search results - page 1351 / 1425 » Functions as Session-Typed Processes |
WADT
1999
Springer
14 years 2 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
ECOOP
1998
Springer
14 years 2 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
RECOMB
1998
Springer
14 years 2 months ago
1998
Springer
The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...
SAFECOMP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
The problem of finding an optimal bipartition of a rectangle set has a direct impact on query performance of dynamic R-trees. During update operations, overflowed nodes need to be...