3828 search results - page 609 / 766 » Proof-Based System Engineering Using a Virtual System Model |
163
click to vote
IV
2009
IEEE
15 years 11 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
155
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
178
Voted
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we focus on mechanism design for single leader Stackelberg problems, which are a special case of hierarchical decision making problems in which a distinguished agent...
144
Voted
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
116
click to vote
WSC
2004
15 years 6 months ago
2004
Recursive simulation is the technique of having simulated decisionmakers themselves use simulation to inform their decisionmaking. Issues of efficiency require that the recursive ...