5863 search results - page 254 / 1173 » On Model-Checking of P Systems |
187
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Networked virtual environments are increasingly used for collaboration tasks and other interactive applications. While the graphics in such virtual worlds are usually three-dimens...
230
click to vote
PERCOM
2011
ACM
14 years 11 months ago
2011
ACM
—In this paper, we propose P3 -coupon, a Prompt and Privacy-preserving electronic coupon distribution system based on a Probabilistic one-ownership forwarding algorithm. In this ...
180
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
202
click to vote
FMSD
2000
15 years 7 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
