5863 search results - page 196 / 1173 » On Model-Checking of P Systems |
213
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
183
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
198
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
214
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--Mobile Ad hoc NETworks (MANET) and Peer-ToPeer (P2P) systems are emerging technologies sharing a common underlying decentralized networking paradigm. However, the related...
244
click to vote
SISAP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—We propose a strategy to perform query processing on P2P similarity search systems based on peers and superpeers. We show that by approximating global but resumed inform...