Sciweavers

1279 search results - page 92 / 256
» AWESIM: The Integrated Simulation System
Sort
View
WSC
2008
15 years 4 months ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...
SERVICES
2008
106views more  SERVICES 2008»
15 years 3 months ago
Distributed Simulation and Web Map Mash-Up for Forest Fire Spread
The emergence of recent XML-based technologies paved the way for new types of architectures and message exchanges on the Internet through Web services. MashUps consist in combinin...
Yosri Harzallah, Vincent Michel, Qi Liu, Gabriel A...
SIGSOFT
1998
ACM
15 years 6 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
CA
2000
IEEE
15 years 6 months ago
Accurate Collision Response on Polygonal Meshes
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
Pascal Volino, Nadia Magnenat-Thalmann
HCI
2009
14 years 11 months ago
Critical Interaction Analysis in the Flight Deck
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
Chiara Santamaria Maurizio, Patrizia Marti, Simone...