Sciweavers

3378 search results - page 498 / 676
» A universe of binding and computation
Sort
View
GC
2004
Springer
15 years 3 months ago
Symbolic Equivalences for Open Systems
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
Paolo Baldan, Andrea Bracciali, Roberto Bruni
ICCHP
2004
Springer
15 years 3 months ago
Networking and Communication in Smart Home for People with Disabilities
People with disabilities need several assistive technical aids to increase their autonomy and perform daily living tasks. This paper describes the role of networking and communicat...
Mahmoud Ghorbel, Maria-Teresa Segarra, Jéro...
78
Voted
ICMI
2004
Springer
158views Biometrics» more  ICMI 2004»
15 years 3 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. ...
IMR
2004
Springer
15 years 3 months ago
API for Grid Generation Over Topological Models
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
S. Gopalsamy, Douglas H. Ross, Alan M. Shih
NOSSDAV
2004
Springer
15 years 3 months ago
Connectivity restrictions in overlay multicast
A large number of overlay multicast protocols have been developed, almost all of which assume universal connectivity between end hosts. However, in reality, this assumption is not...
Aditya Ganjam, Hui Zhang