1888 search results - page 319 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
112
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
122
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
122
Voted
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
125
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
188
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
New and emerging P2P applications require sophisticated range query capability and also have strict requirements on query correctness, system availability and item availability. W...