4502 search results - page 853 / 901 » Regular Model Checking |
165
click to vote
IROS
2009
IEEE
16 years 19 days ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
198
click to vote
FSTTCS
2009
Springer
16 years 17 days ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
184
click to vote
SACMAT
2009
ACM
16 years 15 days ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
159
click to vote
HASE
2008
IEEE
16 years 14 days ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
158
click to vote
ICCCN
2007
IEEE
16 years 10 days ago
2007
IEEE
— Low rate DoS attacks are emerging threats to the TCP traffic, and the VoIP traffic in the Internet. They are hard to detect as they intelligently send attack traffic inside the...