Sciweavers

611 search results - page 34 / 123
» Relative simulation and model checking of real-time processe...
Sort
View
WWW
2002
ACM
14 years 9 months ago
Model checking cobweb protocols for verification of HTML frames behavior
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
P. David Stotts, Jaime Navon
INFFUS
2007
107views more  INFFUS 2007»
13 years 8 months ago
An information fusion demonstrator for tactical intelligence processing in network-based defense
The Swedish Defence Research Agency (FOI) has developed a concept demonstrator called the Information Fusion Demonstrator 2003 (IFD03) for demonstrating information fusion methodo...
Simon Ahlberg, Pontus Hörling, Katarina Johan...
UML
2005
Springer
14 years 2 months ago
Weaving Executability into Object-Oriented Meta-languages
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
Pierre-Alain Muller, Franck Fleurey, Jean-Marc J&e...
WSC
2008
13 years 11 months ago
Modelling and simulation of team effectiveness emerged from member-task interaction
A team's task process consists of allocation, processing and evaluation of a series of tasks. Team effectiveness emerges from interactions among team members. The interaction...
Shengping Dong, Bin Hu, Jiang Wu
APVIS
2009
13 years 10 months ago
Visual support for the understanding of simulation processes
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...
Andrea Unger, Heidrun Schumann