Sciweavers

14 search results - page 3 / 3
» Boxed Ambients
Sort
View
TGC
2005
Springer
13 years 10 months ago
Types for Security in a Mobile World
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
Adriana B. Compagnoni, Elsa L. Gunter
ICFEM
2003
Springer
13 years 10 months ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
OTM
2005
Springer
13 years 10 months ago
Realising Personalised Web Service Composition Through Adaptive Replanning
The emergence of fully-automated Web service composition as a potential facilitator of both eBusiness and ambient or ubiquitous computing is to be welcomed. However this emergence ...
Steffen Higel, David Lewis, Vincent P. Wade
IWANN
2009
Springer
13 years 9 months ago
Easing the Smart Home: Translating Human Hierarchies to Intelligent Environments
Abstract. Ubiquitous computing research have extended traditional environments in the so–called Intelligent Environments. All of them use their capabilities for pursuing their in...
Manuel García-Herranz, Pablo A. Haya, Xavie...