Sciweavers

3830 search results - page 679 / 766
» From Reference Model to Component Model
Sort
View
SC
2004
ACM
15 years 7 months ago
RPC-V: Toward Fault-Tolerant RPC for Internet Connected Desktop Grids with Volatile Nodes
RPC is one of the programming models envisioned for the Grid. In Internet connected Large Scale Grids such as Desktop Grids, nodes and networks failures are not rare events. This ...
Samir Djilali, Thomas Hérault, Oleg Lodygen...
SIGOPSE
2004
ACM
15 years 7 months ago
Open problems in data collection networks
Research in sensor networks, continuous queries (CQ), and other domains has been motivated by powerful applications that aim to aggregate, assimilate, and interact with scores of ...
Jonathan Ledlie, Jeffrey Shneidman, Matt Welsh, Me...
ATAL
2004
Springer
15 years 7 months ago
SimEd: Simulating Education as a Multi Agent System
This paper describes our efforts in creating SimEd, a simulation of the education system. The longterm aim of this work is to be able to model the types of interactions and interp...
Elizabeth Sklar, Mathew Davies, Min San Tan Co
ICMI
2004
Springer
158views Biometrics» more  ICMI 2004»
15 years 7 months ago
The virtual haptic back for palpatory training
This paper discusses the Ohio University Virtual Haptic Back (VHB) project, including objectives, implementation, and initial evaluations. Haptics is the science of human tactile ...
Robert L. Williams II, Mayank Srivastava, John N. ...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 7 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford