Sciweavers

1077 search results - page 165 / 216
» A Virtual Assembly Design Environment
Sort
View
ICLP
2004
Springer
15 years 5 months ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...
SIMPRA
2008
131views more  SIMPRA 2008»
14 years 11 months ago
Distributed simulation of DEVS and Cell-DEVS models in CD++ using Web-Services
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
Gabriel A. Wainer, Rami Madhoun, Khaldoon Al-Zoubi
ERCIMDL
2009
Springer
103views Education» more  ERCIMDL 2009»
15 years 6 months ago
Functional Adaptivity for Digital Library Services in e-Infrastructures: The gCube Approach
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...
Fabio Simeoni, Leonardo Candela, David Lievens, Pa...
JTRES
2009
ACM
15 years 6 months ago
Avoiding unbounded priority inversion in barrier protocols using gang priority management
Large real-time software systems such as real-time Java virtual machines often use barrier protocols, which work for a dynamically varying number of threads without using centrali...
Harald Röck, Joshua S. Auerbach, Christoph M....
HAPTICS
2007
IEEE
15 years 6 months ago
Human Performance in a Knob-Turning Task
Knob turning is a common task that should influence the design of human-machine interfaces such as prosthetic arms, teleoperated robots, and virtual environments. This study exam...
Netta Gurari, Allison M. Okamura