Sciweavers

979 search results - page 10 / 196
» Presentations for Abstract Context Institutions
Sort
View
APSCC
2010
IEEE
14 years 7 months ago
Service-centric Inference and Utilization of Confidence on Context
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...
Atif Manzoor, Hong Linh Truong, Christoph Dorn, Sc...
MRCO
2005
Springer
15 years 3 months ago
A Layered Model for User Context Management with Controlled Aging and Imperfection Handling
Abstract. Current research in context-awareness is biased toward low-level context information. High-level context information, however, poses several challenges to context managem...
Andreas Schmidt
CADE
2005
Springer
15 years 9 months ago
Well-Nested Context Unification
Abstract. Context unification (CU) is the open problem of solving context equations for trees. We distinguish a new decidable variant of CU? well-nested CU ? and present a new unif...
Jordi Levy, Joachim Niehren, Mateu Villaret
ICLP
1998
Springer
15 years 1 months ago
Program Specialisation and Abstract Interpretation Reconciled
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
Michael Leuschel
71
Voted
IEEESCC
2009
IEEE
15 years 4 months ago
A Backwards Composition Context Based Service Selection Approach for Service Composition
Abstract—In SOA applications are built from individual services offered by different providers. Typically an application comprises of several such services usually stemming from ...
HongQing Yu, Stephan Reiff-Marganiec