7209 search results - page 1053 / 1442 » Software Engineering for Multi-Agent Systems |
107
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
106
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
127
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
132
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
168
Voted
COMMA
2010
14 years 10 months ago
2010
Abstract. Software tools for working with argument generally exist as large systems that wrap their entire feature set in the application as a whole. This approach, while perfectly...