Sciweavers

6722 search results - page 151 / 1345
» The DSML4MAS development environment
Sort
View
TITB
2008
124views more  TITB 2008»
15 years 4 months ago
Miniature in vivo Robots for Remote and Harsh Environments
Abstract--Long-term human space exploration will require contingencies for emergency medical procedures including some capability to perform surgery. The ability to perform minimal...
Mark Rentschler, Stephen R. Platt, Kyle R. Berg, J...
TACAS
2010
Springer
160views Algorithms» more  TACAS 2010»
15 years 2 months ago
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
Pavel Parizek, Tomás Kalibera
CHI
1997
ACM
15 years 8 months ago
The Magic Carpet: Physical Sensing for Immersive Environments
measured together with upper-body and hand motion. This data would be used to create a truly “immersive”, tetherless musical environment, where any kind of body motion would be...
Joseph A. Paradiso, Craig Abler, Kai-yuh Hsiao, Ma...
144
Voted
EDUTAINMENT
2007
Springer
15 years 8 months ago
A 3D Virtual Learning Environment to Foster Communication for Long Term Ill Children
In this paper, we present a virtual learning environment which supports the learning process of long term sick children. By focusing on 3D Virtual Environments technology chronical...
Fabian Di Fiore, Pieter Jorissen, Gert Vansichem, ...
CIA
2006
Springer
15 years 8 months ago
Using Electronic Institutions to Secure Grid Environments
As the technical infrastructure to support Grid environments matures, attention must be focused on integrating such technical infrastructure with technologies to support more dynam...
Ronald Ashri, Terry R. Payne, Michael Luck, Mike S...