12774 search results - page 324 / 2555 » A Framework for Proof Systems |
177
click to vote
SYNASC
2005
IEEE
16 years 10 days ago
2005
IEEE
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
173
click to vote
JIT
2005
Springer
16 years 8 days ago
2005
Springer
Dynamic AOP has been identified as a useful technique to implement an auto-adaptive framework. To supplement this policies based upon EventCondition-Action rules are used to specif...
193
click to vote
DELOS
2001
15 years 8 months ago
2001
The construction of personalised information systems is becoming more important as the quantity of information to be searched increases. The approach taken in this paper involves ...
183
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Given a plant, together with an exosystem generating the disturbances and the reference signals, the problem of asymptotic tracking and regulation is to find a controlle...
181
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...