4099 search results - page 594 / 820 » A Framework for Interactive Proof |
210
click to vote
EPIA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
172
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
174
click to vote
IEAAIE
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
159
click to vote
SAMOS
2005
Springer
16 years 1 days ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
180
click to vote
WAC
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...