4460 search results - page 558 / 892 » Formal methods for interactive systems |
141
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
176
Voted
CIA
2004
Springer
16 years 2 days ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
164
click to vote
CIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The description of public resources such as web site contents, web services or data files in open peer-to-peer networks using some formal framework like RDF usually re...
212
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
166
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
Multi-agent system research is concerned with the issues surrounding the performance of collections of interacting agents. A major concern, therefore, is with the design of the dec...