Sciweavers

511 search results - page 48 / 103
» Composition of Semantic Relations: Model and Applications
Sort
View
TCS
2010
14 years 10 months ago
Alternating states for dual nondeterminism in imperative programming
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
Wim H. Hesselink
OTM
2007
Springer
15 years 6 months ago
Browsing Semantics in Context-Aware Mobile Hypermedia
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...
Cecilia Challiol, Agustin Muñoz, Gustavo Ro...
ER
2006
Springer
137views Database» more  ER 2006»
15 years 3 months ago
Preference Functional Dependencies for Managing Choices
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
Wilfred Ng
JSW
2007
119views more  JSW 2007»
14 years 11 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
EUMAS
2006
15 years 1 months ago
Situated Semantic Alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer