608 search results - page 107 / 122 » Interactive Oracle Proofs |
ICALT
2008
IEEE
14 years 4 months ago
2008
IEEE
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...
TRIDENTCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper introduces DRIVE, a reconfigurable demonstrator that will allow for experimental validation of vehicular networking research, as well as proof of concept and realistic ...
DASFAA
2007
IEEE
14 years 4 months ago
2007
IEEE
Today, result sets of skyline queries are unmanageable due to their exponential growth with the number of query predicates. In this paper we discuss the incremental re-computation ...
QSIC
2007
IEEE
14 years 4 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
UCS
2007
Springer
14 years 4 months ago
2007
Springer
Recognizing activities based on an actor’s interaction with everyday objects is an important research approach within ubiquitous computing. We present a recognition approach whic...