1362 search results - page 89 / 273 » Model Checking Large Network Protocol Implementations |
128
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
149
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: In recent years, the demand for computational power in computational biology has increased due to rapidly growing data sets from microarray and other high-throughput t...
176
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
156
click to vote
BMCBI
2008
15 years 3 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
138
click to vote
SRDS
2008
IEEE
15 years 10 months ago
2008
IEEE
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...