9425 search results - page 1727 / 1885 » Some Notes on Models and Modelling |
128
click to vote
WINET
2010
15 years 9 days ago
2010
We study routing algorithms for three-dimensional ad hoc networks that guarantee delivery and are k-local, i.e., each intermediate node v’s routing decision only depends on knowl...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Delivering increasingly complex software-reliant systems demands better ways to manage the long-term effects of shortterm expedients. The technical debt metaphor is gaining signif...
147
click to vote
CRYPTO
2011
Springer
14 years 1 months ago
2011
Springer
In CRYPTO 1997, Canetti et al.put forward the intruiging notion of deniable encryption, which (informally) allows a sender and/or receiver, having already performed some encrypted...
107
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
111
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
In wireless roaming a mobile device obtains a service from some foreign network while being registered for the similar service at its own home network. However, recent proposals tr...