2875 search results - page 546 / 575 » Model checking agentspeak |
136
Voted
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
132
Voted
IROS
2009
IEEE
15 years 10 months 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...
154
click to vote
FSTTCS
2009
Springer
15 years 10 months 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 ...
141
Voted
SACMAT
2009
ACM
15 years 10 months 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...
124
click to vote
HASE
2008
IEEE
15 years 10 months 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....