10870 search results - page 362 / 2174 » Model Checking Programs |
152
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Wireless transmission based on cooperation promises to bring performance improvements in multi–node networks. Several cooperative schemes have appeared in the literature, and...
214
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
184
click to vote
AHSWN
2010
15 years 7 months ago
2010
Considerations of realistic channel dynamics motivate the design of a new breed of opportunistic schemes, such as opportunistic transmission, scheduling and routing. Compared to t...
158
click to vote
ASIACRYPT
2003
Springer
16 years 1 days ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
187
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...