2184 search results - page 49 / 437 » Assistive Embedded Technologies |
EUROPAR
2000
Springer
15 years 1 months ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...
ICNSC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This paper provides a discussion on how teleoperated robots could be utilized to do the simple triage of victims of a multiple casualty incident. Previous work in the a...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. At the same time we see an increasing need for people to limit their interactions on...