726 search results - page 54 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
101
click to vote
BELL
2000
14 years 11 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
RISE
2005
Springer
15 years 5 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
102
click to vote
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
101
click to vote
HRI
2012
ACM
13 years 7 months ago
2012
ACM
In this paper we describe our prototyping environment to study concepts for empowering a single user to control robotic multi-agent systems. We investigate and validate these conc...
101
click to vote
IJAOSE
2008
14 years 12 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...