Sciweavers

1933 search results - page 21 / 387
» A Dynamic Theory of Ontology
Sort
View
SOCA
2007
IEEE
14 years 1 months ago
Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture
Service collaboration is important in ServiceOriented Architecture (SOA). While service collaboration protocols for data exchange are well explored, the Dynamic Process Collaborat...
Wei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen...
CONTEXT
1999
Springer
13 years 12 months ago
The Formal Structure of Ecological Contexts
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
Barry Smith, Achille C. Varzi
DESRIST
2009
Springer
115views Education» more  DESRIST 2009»
13 years 10 months ago
Ontological design
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...
Arkalgud Ramaprasad, Sridhar S. Papagari
AMC
2000
94views more  AMC 2000»
13 years 7 months ago
Elements of a theory of simulation II: sequential dynamical systems
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
Christopher L. Barrett, Henning S. Mortveit, Chris...
LICS
2012
IEEE
11 years 10 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer