1040 search results - page 67 / 208 » Resource Usage Verification |
CN
2004
14 years 9 months ago
2004
Label switched networks have become increasingly attractive to both network providers and customers. By creating aggregate, bandwidth-reserved flows, these networks offer routing ...
RTAS
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
WOSP
2004
ACM
15 years 3 months ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
NOMS
2010
IEEE
14 years 8 months ago
2010
IEEE
—Markets arise as an efficient way of organising resources in Cloud Computing scenarios. In Cloud Computing Markets, Brokers that represent both Clients and Service Providers me...
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...