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...
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...
One trend in software development is to implement application functionalities through Web services. This eases the possibility of developing interactive applications exploiting fu...
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...
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...