2522 search results - page 341 / 505 » From Self-Organized Systems to Collective Problem Solving |
POPL
2002
ACM
14 years 9 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
ICPADS
2006
IEEE
14 years 3 months ago
2006
IEEE
In battery powered systems such as wireless sensor networks, energy efficiency is one of the most important system design goals. In this paper, energy efficiency is examined fro...
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
CSCW
2004
ACM
14 years 2 months ago
2004
ACM
As communications systems increasingly gather and propagate information about people’s reachability or “presence”, users need better tools to minimize undesired interruption...
HT
1993
ACM
14 years 1 months ago
1993
ACM
Taking the concept of a link from hypertext and adding to it the rich collection of information formats found in multimedia systems provides an extension to hypertext that is ofte...