318 search results - page 7 / 64 » Formal Description of Autopoiesis Based on the Theory of Cat... |
KR
2000
Springer
13 years 10 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
PCI
2001
Springer
13 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
ICCBR
2007
Springer
13 years 10 months ago
2007
Springer
Case-based reasoning aims at solving a problem by the adaptation of the solution of an already solved problem that has been retrieved in a case base. This paper defines an approach...
MODELS
2007
Springer
14 years 25 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
NOSSDAV
2005
Springer
14 years 6 days ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...