Sciweavers

5446 search results - page 219 / 1090
» Mobile computing
Sort
View
ASSISTIVE
1998
Springer
15 years 6 months ago
A Wearable Computer Based American Sign Language Recognizer
Modern wearable computer designs package workstation level performance in systems small enough to be worn as clothing. These machines enable technology to be brought where it is n...
Thad Starner, Joshua Weaver, Alex Pentland
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
15 years 7 months ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...
GI
2009
Springer
15 years 10 hour ago
PaKo - Der mobile Patientenkoffer
: Durch den Einsatz von Informations- und Kommunikationstechnologie im Gesundheitsbereich (speziell im Segment Mobile Health Care) er
Stefan Stein, J. Felix Hampe
110
Voted
APLAS
2006
ACM
15 years 8 months ago
Computational Secrecy by Typing for the Pi Calculus
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
Martín Abadi, Ricardo Corin, Cédric ...
96
Voted
CASSIS
2004
Springer
15 years 7 months ago
Modelling Mobility Aspects of Security Policies
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
Pieter H. Hartel, Pascal van Eck, Sandro Etalle, R...