6581 search results - page 1023 / 1317 » Formalizing Design Patterns |
188
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
181
click to vote
AIME
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
207
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
169
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
153
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...