841 search results - page 44 / 169 » Accounting Mechanisms for Distributed Work Systems |
111
click to vote
KIVS
2001
Springer
15 years 2 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...
110
click to vote
PADS
2003
ACM
15 years 3 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...
ICDCSW
2006
IEEE
15 years 3 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...
ATAL
2007
Springer
15 years 4 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 ...
129
click to vote
FIDJI
2004
Springer
15 years 3 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...