3082 search results - page 145 / 617 » its 2004 |
90
Voted
EUC
2004
Springer
15 years 6 months ago
2004
Springer
A situation-aware middleware provides standardized communication protocols to interoperate an application with others under dynamically changing situations. Since the application n...
91
Voted
GC
2004
Springer
15 years 6 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
84
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
We propose in this paper a new family of belief merging operators, that is based on a game between sources : Until a coherent set of sources is reached, at each round a contest is...
75
Voted
FLAIRS
2004
15 years 2 months ago
2004
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
94
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...