94 search results - page 19 / 19 » Quantitative Program Logic and Performance in Probabilistic ... |
123
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
136
Voted
TON
2010
15 years 28 days ago
2010
—In this paper, we investigate the maximization of the coverage time for a clustered wireless sensor network (WSN) by optimal balancing of power consumption among cluster heads (...
141
Voted
SCP
2010
15 years 29 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
134
Voted
WWW
2002
ACM
16 years 3 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...