2594 search results - page 431 / 519 » Environment as Active Support of Interaction |
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—The interests in health care have considerably increased these days as the aging population becomes larger. Health care has grown to the one of most active research area...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract The concept of providing mobile Internet connectivity for passengers in public transport vehicles, where users connect to a local network that attaches to the Internet v...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...