4693 search results - page 440 / 939 » Verifying Hybrid Systems |
151
click to vote
ICARCV
2006
IEEE
16 years 28 days ago
2006
IEEE
— Login access control refers to securing the entry point to a computing system. The login system is responsible for this service and must provide a number of tasks, the main tas...
176
click to vote
IROS
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract - In this paper, we have developed not only a probabilistic sound localization system including VAD (Voice Activity Detection) component using three microphones but also a...
200
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
191
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
156
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...