913 search results - page 38 / 183 » Formal Agent Development: Framework to System |
147
click to vote
AAAI
2008
15 years 6 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
146
click to vote
HCI
2007
15 years 5 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
148
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
148
click to vote
CIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
160
click to vote
IRI
2009
IEEE
15 years 11 months ago
2009
IEEE
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...