10038 search results - page 1810 / 2008 » Model Checking for Managers |
145
Voted
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating r...
142
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
135
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
126
click to vote
NOMS
2002
IEEE
15 years 9 months ago
2002
IEEE
Alarm correlation plays an important role in improving the service and reliability in modern telecommunication networks. Most previous research of alarm correlation didn’t consi...
125
click to vote
WECWIS
2002
IEEE
15 years 9 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...