4211 search results - page 771 / 843 » A formal approach to MASQ |
131
click to vote
ACSC
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
192
click to vote
ICDCS
2008
IEEE
16 years 19 days ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
202
click to vote
CMSB
2007
Springer
16 years 11 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
180
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
202
click to vote
WIDM
2005
ACM
15 years 11 months ago
2005
ACM
In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...