Sciweavers

963 search results - page 5 / 193
» Types for Mobile Ambients
Sort
View
105
Voted
ESOP
2005
Springer
15 years 9 months ago
Deciding Reachability in Mobile Ambients
Mobile Ambients has been proposed by Cardelli and Gordon
Nadia Busi, Gianluigi Zavattaro
166
Voted
SEBD
2003
159views Database» more  SEBD 2003»
15 years 5 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
145
Voted
TCS
2008
15 years 3 months ago
Role-based access control for boxed ambients
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 acad...
Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bi...
141
Voted
EUSAI
2004
Springer
15 years 9 months ago
Towards an Extensible Context Ontology for Ambient Intelligence
Abstract. To realise an Ambient Intelligence environment, it is paramount that applications can dispose of information about the context in which they operate, preferably in a very...
Davy Preuveneers, Jan Van den Bergh, Dennis Wagela...
109
Voted
WECWIS
2005
IEEE
145views ECommerce» more  WECWIS 2005»
15 years 9 months ago
Ambient e-Service Embracing Model
The notion of ambient e-services is defined in this paper to identify a new scope of mobile e-services. The notable features of ambient e-services are the exhilarated linkage based...
Yuanchu Hwang, Soe-Tsyr Yuan