5863 search results - page 237 / 1173 » On Model-Checking of P Systems |
169
click to vote
EUC
2008
Springer
15 years 9 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...
303
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we present the design and evaluation of PeerDB, a peer-to-peer (P2P) distributed data sharing system. PeerDB distinguishes itself from existing P2P systems in sever...
216
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
213
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
185
click to vote
CODES
2002
IEEE
16 years 5 days ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...