334 search results - page 51 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
115
Voted
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
124
click to vote
CA
1997
IEEE
15 years 8 months ago
1997
IEEE
Face-to-face interaction between people is generally effortless and effective. We exchange glances, take turns speaking and make facial and manual gestures to achieve the goals of ...
160
click to vote
KES
2007
Springer
15 years 3 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
109
click to vote
APIN
2004
15 years 3 months ago
2004
Companies that provide crane-lorry services are faced with the daily need to perform vehicle and driver allocation and scheduling. Many companies still do this manually due to the ...
120
click to vote
PDCN
2004
15 years 5 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...