2661 search results - page 221 / 533 » Model Checking Performability Properties |
116
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Abstract-- The emergence of digital multimedia and the proliferation of its use have raised major concerns about the protection of intellectual property. In response to these conce...
133
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
139
Voted
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
108
Voted
STOC
1998
ACM
15 years 7 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
118
click to vote
ICWMC
2006
IEEE
15 years 9 months ago
2006
IEEE
In MANET research the mobility of the nodes is often described using standard synthetic models. Given a particular application, e.g. networks of unmanned aerial vehicles (UAVs) pe...