4099 search results - page 599 / 820 » A Framework for Interactive Proof |
171
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a framework for specifying Web services communities. A Web service is an accessible application that humans, software agents, and other applications in general ...
237
click to vote
AMS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
168
click to vote
EXPCS
2007
15 years 10 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
166
click to vote
ARGMAS
2006
Springer
15 years 10 months ago
2006
Springer
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...
196
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
The current ever-growing evolution of mobile technologies suggests the possibility of accessing services, in an itinerant and ubiquitous way, through many kinds of mobile devices ...