83 search results - page 10 / 17 » Separation Logic Semantics for Communicating Processes |
SIGCOMM
1999
ACM
15 years 4 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
118
click to vote
AUTONOMICS
2007
ACM
15 years 3 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...
109
click to vote
JNW
2008
14 years 11 months ago
2008
Recently overlay networks have emerged as an efficient and flexible method for content distribution. An overlay network is a network running on top of another network, usually the ...
COORDINATION
2009
Springer
16 years 7 days ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
104
click to vote
SWWS
2008
15 years 1 months ago
2008
- The future of the Semantic Web envisions an interconnected network of data and systems where software agents can communicate seamlessly to perform complicated tasks with limited ...