577 search results - page 110 / 116 » Equations for Describing Dynamic Nets of Communicating Syste... |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...
MOVEP
2000
13 years 11 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
TCS
2008
13 years 7 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
CN
2002
13 years 7 months ago
2002
We describe the design, implementation and performance of a high-performance Web server accelerator which runs on an embedded operating system and improves Web server performance ...