5326 search results - page 384 / 1066 » On what we can ensure |
218
click to vote
IANDC
2011
15 years 1 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
299
click to vote
HUC
2011
Springer
14 years 6 months ago
2011
Springer
We live in a world where many kinds of data about us can be collected and more will be collected as Ubicomp technologies mature. People reflect on this data using different tools ...
203
click to vote
EMSOFT
2003
Springer
16 years 16 hour ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
159
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
In collusion-free protocols, subliminal communication is impossible and parties are thus unable to communicate “any information beyond what the protocol allows”. Collusion-fre...
211
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Clustering in Mobile Ad Hoc Networks (MANETs) has shown to be a promising technique to ensure the scalability and efficiency of various communication protocols. Since stations in...