534 search results - page 47 / 107 » Agent-environment interaction in a multi-agent system: a for... |
SACMAT
2006
ACM
15 years 5 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
ROBOCUP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
113
Voted
IEE
2008
14 years 11 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
111
click to vote
TIDSE
2004
Springer
15 years 4 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...
112
click to vote
FM
1997
Springer
15 years 3 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...