5863 search results - page 183 / 1173 » On Model-Checking of P Systems |
208
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
In the paper we discuss the problem of data integration in a P2P environment. In such setting each peer stores schema of its local data, mappings between the schema and schemas of...
210
Voted
AP2PC
2003
Springer
16 years 7 days ago
2003
Springer
Peer-to-Peer (P2P) technologies promise to provide efficient distribution, sharing and management of resources, such as storage, processing, routing and other sundry service capabi...
199
Voted
TKDE
2010
15 years 5 months ago
2010
—Peer-to-peer (P2P) networks are vulnerable to peers who cheat, propagate malicious code, leech on the network, or simply do not cooperate. The traditional security techniques de...
210
Voted
ISSTA
2004
ACM
16 years 13 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
197
click to vote
HPCC
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. As grid sizes increase, the need for self-organization and dynamic reconfigurations is becoming more and more important, and therefore the convergence of grid computing ...