Sciweavers

4172 search results - page 370 / 835
» Computing Machinery and Understanding
Sort
View
RTCSA
2006
IEEE
16 years 24 days ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
RTSS
2006
IEEE
16 years 24 days ago
Distributed Real-Time Detection and Tracking of Homogeneous Regions in Sensor Networks
In many applications we can deploy large number of sensors spanning wide geographical areas, to monitor environmental phenomena. The analysis of the data collected by such sensor ...
Sharmila Subramaniam, Vana Kalogeraki, Themis Palp...
TABLETOP
2006
IEEE
16 years 24 days ago
Direct Intentions: The Effects of Input Devices on Collaboration around a Tabletop Display
This paper explores users’ interpersonal interactions during collaboration around a tabletop display, in order to better understand the affordances offered by this medium. We in...
Vicki Ha, Kori M. Inkpen, Tara Whalen, Regan L. Ma...
PEWASUN
2006
ACM
16 years 23 days ago
Performance evaluation of backoff algorithms in 802.11 ad-hoc networks
Understanding the performance of backoff algorithms in multihop ad hoc networks is a key feature to design efficient Medium Access Protocols for wireless networks. The 802.11 bac...
Tahiry Razafindralambo, Fabrice Valois
STOC
2006
ACM
116views Algorithms» more  STOC 2006»
16 years 23 days ago
Information-theoretically secure protocols and security under composition
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
Eyal Kushilevitz, Yehuda Lindell, Tal Rabin