Sciweavers

3863 search results - page 368 / 773
» Function in Device Representation
Sort
View
ACMACE
2007
ACM
15 years 10 months ago
Sound candy
Sound Candy is a device with which anyone in the world can create his/her own playground anywhere of using sounds and movements around him/her. In our daily life, we are surrounde...
Shuichi Ishibashi, Daisuke Uriu, Naohito Okude
CONEXT
2008
ACM
15 years 8 months ago
ALPHA: an adaptive and lightweight protocol for hop-by-hop authentication
Wireless multi-hop networks are particularly susceptible to attacks based on flooding and the interception, tampering with, and forging of packets. Thus, reliable communication in...
Tobias Heer, Stefan Götz, Oscar García...
IUSED
2008
15 years 8 months ago
Designing Usable Applications based on Web Services
One trend in software development is to implement application functionalities through Web services. This eases the possibility of developing interactive applications exploiting fu...
Fabio Paternò, Carmen Santoro, Lucio Davide...
SCS
2001
15 years 8 months ago
High Level Failure Analysis for Integrated Modular Avionics
Integrated Modular Avionics (IMA) is the term used for a common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to a...
Philippa Conmy, John A. McDermid
TPCD
1994
157views Hardware» more  TPCD 1994»
15 years 8 months ago
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
John W. O'Leary, Miriam Leeser, Jason Hickey, Mark...