Sciweavers

1036 search results - page 73 / 208
» Ubiquitous Verification of Ubiquitous Systems
Sort
View
APSEC
2006
IEEE
13 years 11 months ago
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
Luciano Baresi, Paolo Beretta, Roberto Fraccapani,...
HCI
2007
13 years 9 months ago
Sensor-Driven Adaptation of Web Document Presentation
The increasing variety of user device technologies has raised the necessity for ubiquitous content provision, which is characterized by “intelligent” content delivery to end us...
Spyros Nathanail, Vassileios Tsetsos, Stathes Hadj...
SAC
2006
ACM
13 years 7 months ago
Towards reliable OSGi framework and applications
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) ...
Heejune Ahn, Hyukjun Oh, Chang Oan Sung
JSS
2007
89views more  JSS 2007»
13 years 7 months ago
The DYNAMOS approach to support context-aware service provisioning in mobile environments
To efficiently make use of information and services available in ubiquitous environments, mobile users need novel means for locating relevant content, where relevance has a user-s...
Oriana Riva, Santtu Toivonen
TKDE
2002
77views more  TKDE 2002»
13 years 7 months ago
Materialization and Its Metaclass Implementation
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
Mohamed Dahchour, Alain Pirotte, Esteban Zim&aacut...