503 search results - page 17 / 101 » If not now, when |
CCR
2010
13 years 10 months ago
2010
Dummynet is a widely used link emulator, developed long ago to run experiments in user-configurable network environments. Since its original design, Dummynet has been extended in ...
CONCURRENCY
2010
13 years 10 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Given a graph G, an identifying code D V (G) is a vertex set such that for any two distinct vertices v1, v2 V (G), the sets N[v1] D and N[v2] D are distinct and nonempty (here...
ENTCS
2008
13 years 10 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
CJ
2006
13 years 10 months ago
2006
Aggregate signatures are a useful primitive which allows to aggregate into a single and constant-length signature many signatures on different messages computed by different users...