1547 search results - page 81 / 310 » The Isabelle Collections Framework |
GROUP
2003
ACM
14 years 1 months ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...
AIM
2006
13 years 9 months ago
2006
: This paper focuses on situations where documents serve to coordinate a distributed Community of Action engaged in a common goal-directed activity. In such contexts, a document ap...
KDID
2004
13 years 9 months ago
2004
Condensed representations of pattern collections have been recognized to be important building blocks of inductive databases, a promising theoretical framework for data mining, and...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...