2858 search results - page 554 / 572 » Logics with Aggregate Operators |
156
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
137
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
140
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
133
click to vote
ISLPED
2004
ACM
15 years 9 months ago
2004
ACM
The quadratic relationship between voltage and energy has made dynamic voltage scaling (DVS) one of the most powerful techniques to reduce system power demands. Recently, techniqu...
166
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...