7099 search results - page 313 / 1420 » Context for models of concurrency |
161
Voted
CONTEXT
2001
Springer
15 years 12 months ago
2001
Springer
We develop a probabilistic criterion for belief expansion that is sensitive to the degree of contextual fit of the new information to our belief set as well as to the reliability...
155
Voted
EDO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
188
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Mediation is the process of decomposing a task into subtasks, finding agents suitable for these subtasks and negotiating with agents to obtain commitments to execute these subtas...
185
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
207
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...