1529 search results - page 107 / 306 » Energy-Based Models of P Systems |
158
click to vote
MMB
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we characterize the user behavior in a peer-to-peer (P2P) file sharing network. Our characterization is based on the results of an extensive passive measurement stu...
148
click to vote
ASM
2010
ASM
16 years 7 days ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
173
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...
150
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
153
click to vote
FMSD
2006
15 years 5 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...