4099 search results - page 642 / 820 » A Framework for Interactive Proof |
113
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
129
click to vote
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
The first steps towards bridging the paper-digital divide have been achieved with the development of a range of technologies that allow printed documents to be linked to digital c...
153
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
While a variety of mechanisms have been developed for securing individual intra-domain protocols, none address the issue in a holistic manner. We develop a unified framework to sec...
152
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
171
click to vote
AI50
2006
15 years 8 months ago
2006
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...