4099 search results - page 217 / 820 » A Framework for Interactive Proof |
145
click to vote
IM
2007
15 years 8 months ago
2007
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...
177
click to vote
SIMVIS
2004
15 years 7 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
151
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
183
click to vote
AHS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
180
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
We view the Internet as a "virtual laboratory" and have developed a framework to support experiments in web-based community learning. Our system is called the Community ...