3765 search results - page 483 / 753 » Qualitative Action Systems |
180
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
192
click to vote
EJIS
2008
15 years 6 months ago
2008
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
161
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
A navigation functions' based methodology, established in our previous work for centralized multiple robot navigation, is extended to address the problem of decentralized nav...
188
click to vote
IJCIS
2006
15 years 6 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
156
click to vote
JNCA
2006
15 years 6 months ago
2006
Traditional database security mechanisms are very limited in defending against data attacks. Authorized but malicious transactions can make a database useless by impairing its int...