10038 search results - page 513 / 2008 » Model Checking for Managers |
186
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Client/server information systems use caching techniques to reduce the volume of transmitted data as well as response time and, especially in the case of systems with mobile clien...
187
click to vote
BCS
2008
15 years 8 months ago
2008
Across the world, organizations are required to comply with regulatory frameworks dictating how to manage personal information. Despite these, several cases of data leaks and expo...
186
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Skyline queries are important due to their usefulness in many application domains. However, by increasing the number of attributes, the probability that a tuple dominates another ...
194
click to vote
STOC
2001
ACM
16 years 7 months ago
2001
ACM
Abstract. We consider two types of buffering policies that are used in network switches supporting Quality of Service (QoS). In the FIFO type, packets must be transmitted in the or...
174
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...