5863 search results - page 165 / 1173 » On Model-Checking of P Systems |
206
Voted
GPC
2007
Springer
16 years 13 days ago
2007
Springer
Sharing huge databases in distributed systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer sufficient. A more ef...
182
click to vote
VLDB
2007
ACM
16 years 11 days ago
2007
ACM
Open-source software communities currently face an increasing complexity in managing and distributing software content among their developers and contributors. This is mainly due ...
655
click to vote
Presentation
We have previously proposed a P2P video broadcast method called MTcast for simultaneously delivering video to user peers with different quality requirements. In this paper, we desi...
179
click to vote
TMM
2010
15 years 29 days ago
2010
Abstract--Early P2P-TV systems have already attracted millions of users, and many new commercial solutions are entering this market. Little information is however available about h...
155
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...