9702 search results - page 1844 / 1941 » Communicating Mobile Processes |
131
click to vote
TELSYS
2002
15 years 3 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
179
click to vote
PVLDB
2008
15 years 3 months ago
2008
The diversity and large volumes of data processed in the Natural Sciences today has led to a proliferation of highlyspecialized and autonomous scientific databases with inherent a...
114
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Conventional e-mail systems are prone to problems that impact their scalability and dependability. E-mail systems operate following a "push-based" approach: the sender s...
128
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
In this demonstration we present the Brown Dwarf, a distributed system designed to efficiently store, query and update multidimensional data. Deployed on any number of commodity ...
119
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Top-k queries are a popular type of query in Wireless Sensor Networks. Typical solutions rely on coordinated root-tonodes and nodes-to-root messages and on maintaining filters at...