Sciweavers

376 search results - page 24 / 76
» Virtual Execution Environments: Support and Tools
Sort
View
CSCWD
2009
Springer
13 years 11 months ago
A PDA-based collaborative tool for learning Chemistry skills
Computer Supported Collaborative Learning could achieve a high impact on education for countries around the world if good enough tools were accounted in order to set Collaborative...
Carlos Hurtado, Luis A. Guerrero
HASE
2008
IEEE
13 years 8 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
ICRA
1999
IEEE
151views Robotics» more  ICRA 1999»
14 years 9 days ago
Interaction with a Realtime Dynamic Environment Simulation Using a Magnetic Levitation Haptic Interface Device
A high performance six degree-of-freedom magnetic levitation haptic interface device has been integrated with a physically-based dynamic rigid-body simulation to enable realistic ...
Peter J. Berkelman, Ralph L. Hollis, David Baraff
ASE
1998
152views more  ASE 1998»
13 years 7 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
ANSS
2003
IEEE
14 years 1 months ago
An ns-based Bluetooth Topology Construction Simulation Environment
Bluetooth is an emerging technology in wireless applications, and many related issues are yet to be explored both in academia and industry. Because of the complexity and the dynam...
Chia-Jui Hsu, Yuh-Jzer Joung