72 search results - page 12 / 15 » Orderly communication in the Ambient Calculus |
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
CIA
2003
Springer
14 years 22 days ago
2003
Springer
Software agents are one of the building blocks of ambient intelligence and pervasive computing. Adaptation to changes in the execution context is necessary in order to provide cont...
ESOP
1999
Springer
13 years 11 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
COORDINATION
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...