623 search results - page 112 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
CASCON
2007
13 years 8 months ago
2007
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
MOBICOM
2010
ACM
13 years 7 months ago
2010
ACM
Guardbands are designed to insulate transmissions on adjacent frequencies from mutual interference. As more devices in a given area are packed into orthogonal wireless channels, c...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Recommender systems are an important component of many websites. Two of the most popular approaches are based on matrix factorization (MF) and Markov chains (MC). MF methods learn...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...