2468 search results - page 244 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
164
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
137
click to vote
ENTCS
2002
15 years 4 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
119
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...
133
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Distributed energy resources (DER) are in transition from the lab to the marketplace. The defining characteristic of DER is that they are active devices installed at the distribut...
118
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
In an attribute-based signature (ABS), users sign messages with any predicate of their attributes issued from an attribute authority. Under this notion, a signature attests not to...