1173 search results - page 123 / 235 » Weighted Distributed Systems and Their Logics |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
The content distribution techniques have recently started embracing peer-to-peer system as an alternative to the client-server architecture, such as BitTorrent system. BitTorrent ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
DOLAP
2004
ACM
14 years 3 months ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...