Sciweavers

1830 search results - page 118 / 366
» Centering in Dynamic Semantics
Sort
View
MDM
2005
Springer
15 years 4 months ago
Concept-based discovery of mobile services
In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related se...
Chara Skouteli, George Samaras, Evaggelia Pitoura
GC
2004
Springer
15 years 4 months ago
Communities: Concept-Based Querying for Mobile Services
In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related ser...
Chara Skouteli, Christoforos Panayiotou, George Sa...
LICS
2002
IEEE
15 years 4 months ago
Polarized Games
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
Olivier Laurent
LICS
2000
IEEE
15 years 3 months ago
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
Alan Jeffrey, Julian Rathke
VLDB
1993
ACM
121views Database» more  VLDB 1993»
15 years 3 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis