2725 search results - page 482 / 545 » A framework for P2P application development |
ATVA
2004
Springer
15 years 3 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
126
click to vote
GROUP
1991
ACM
15 years 3 months ago
1991
ACM
: This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...
EENERGY
2010
15 years 3 months ago
2010
Enabling a sophisticated Demand Response (DR) framework, whereby individual consumers adapt their electricity consumption in response to price variations, is a major objective of ...
118
click to vote
DBKDA
2009
IEEE
15 years 3 months ago
2009
IEEE
Cell phones are no longer merely used to make phone calls or to send short or multimedia messages. They more and more become information systems clients. Recent developments in th...
110
click to vote
DSN
2009
IEEE
15 years 3 months ago
2009
IEEE
The dependability of overlay services rely on the overlay network’s capabilities to effectively diagnose and recover faults (e.g., link failures, overlay node outages). However,...