1268 search results - page 232 / 254 » Verifying distributed systems: the operational approach |
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
In a shared server infrastructure, a scheduler controls how quantities of resources are shared over time in a fair manner across multiple, competing consumers. It should support w...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
A holy grail of component-based software engineering is "write-once, reuse everywhere". However, in modern distributed, component-based systems supporting emerging appli...
CLUSTER
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Message progression schemes that enable communication and computation to be overlapped have the potential to improve the performance of parallel applications. With curre...
EDOC
2008
IEEE
14 years 4 months ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
MIDDLEWARE
2004
Springer
14 years 3 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...