218 search results - page 2 / 44 » An Operational Model for Mutual Awareness |
ICASSP
2009
IEEE
14 years 1 days ago
2009
IEEE
Without any assumption on the cover source, this paper presents a complete characterization of all perfectly secure stego-systems that employ mutually independent embedding operat...
ACISP
2008
Springer
13 years 11 months ago
2008
Springer
The standard solution for mutual authentication between human users and servers on the Internet is to execute a TLS handshake during which the server authenticates using a X.509 ce...
SIGOPS
2008
13 years 5 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
MDM
2001
Springer
13 years 9 months ago
2001
Springer
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...
AAAI
2007
13 years 7 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...