1054 search results - page 168 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
127
click to vote
UM
2010
Springer
15 years 1 months ago
2010
Springer
Effective pedagogical strategies are important for e-learning environments. While it is assumed that an effective learning environment should craft and adapt its actions to the use...
126
click to vote
ENVSOFT
2002
15 years 3 months ago
2002
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
158
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
254
Voted
TASE
2012
IEEE
13 years 11 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
132
click to vote
WSC
2004
15 years 5 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...