133 search results - page 17 / 27 » Proving Properties for Behavioural Specifications with Term ... |
FOSSACS
2008
Springer
14 years 10 days ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
ECAI
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
CLIMA
2006
14 years 5 days ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
WORM
2004
14 years 4 days ago
2004
The monitoring of unused Internet address space has been shown to be an effective method for characterizing Internet threats including Internet worms and DDOS attacks. Because the...