3387 search results - page 551 / 678 » Model-Checking for Real-Time Systems |
ADBIS
2006
Springer
14 years 4 months ago
2006
Springer
In many information systems, the databases that make up the system are distributed in different modules or branch offices according to the requirements of the business enterprise. ...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
We present a novel paradigm for human to human asymmetric collaboration. There is a need for people at geographically separate locations to seamlessly collaborate in real time as ...
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
ATAL
2008
Springer
14 years 3 days ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...