841 search results - page 44 / 169 » Accounting Mechanisms for Distributed Work Systems |
171
click to vote
KIVS
2001
Springer
15 years 8 months ago
2001
Springer
Ethernet is a widely used low-cost networking technology. It however lacks the determinism and resource management features needed to meet realtime requirements of multimedia appli...
170
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
111
Voted
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper proposes a new approach for handling overload in Publish/Subscribe systems. We focus on the fact that every service has to cope with the limitations imposed by the e...
145
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Research on organization of Multi-Agent Systems (M.A.S.) has shown that by adapting its organization, a M.A.S. is better able to operate in dynamic environments. In this paper we ...
211
click to vote
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...