1036 search results - page 112 / 208 » Ubiquitous Verification of Ubiquitous Systems |
ECEASST
2008
13 years 10 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
JCIT
2008
13 years 10 months ago
2008
A ubiquitous city is where everything is interconnected with everything else, where information is instantaneously shared. In a U-city, people can access a variety of web data in ...
KES
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In Japan, a Group Home which offers home-based care service for elderly persons who suffer from dementia have been increased. Even though the small community of the home ...
IJWET
2007
13 years 10 months ago
2007
: Web applications have evolved from simple read-only websites to complex data- and operation-intensive systems. The main goal of this kind of application is to provide the users w...
HRI
2010
ACM
13 years 8 months ago
2010
ACM
Abstract--This paper proposes an agent system that semiautomatically creates stories about daily events detected by ubiquitous sensors. These stories are knowledge of inhabitants&#...