Sciweavers

3828 search results - page 381 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
185
Voted
VR
2008
IEEE
202views Virtual Reality» more  VR 2008»
15 years 6 months ago
FARMTASIA: an online game-based learning environment based on the VISOLE pedagogy
Virtual interactive student-oriented learning environment (VISOLE) is a game-based constructivist pedagogical approach that encompasses the creation of an online interactive world ...
Kevin K. F. Cheung, Morris Siu Yung Jong, Fong Lok...
CCECE
2006
IEEE
16 years 24 days ago
Adaptive Bilateral Control using Operator Elbow Impedance
— Human arm dynamics can be used for control of human-machine interfaces in haptic applications. In this paper, a novel method for online estimation of human operator elbow imped...
Farid Mobasser, Keyvan Hashtrudi-Zaad
CCGRID
2008
IEEE
16 years 1 months ago
Enabling Interoperability among Meta-Schedulers
Grid computing supports shared access to computing resources from cooperating organizations or institutes in the form of virtual organizations. Resource brokering middleware, comm...
Norman Bobroff, Liana Fong, Selim Kalayci, Yanbin ...
SGAI
2007
Springer
16 years 26 days ago
Extending Jess to Handle Uncertainty
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
David Corsar, Derek H. Sleeman, Anne McKenzie
HASE
1998
IEEE
15 years 11 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan