Sciweavers

1026 search results - page 128 / 206
» Semantic Components for Timetabling
Sort
View
130
Voted
FASE
2001
Springer
15 years 7 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
151
Voted
CONCUR
1999
Springer
15 years 7 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
118
Voted
COSIT
1999
Springer
167views GIS» more  COSIT 1999»
15 years 7 months ago
Data Characterization Schema for Intelligent Support in Visual Data Analysis
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...
Gennady L. Andrienko, Natalia V. Andrienko
ATAL
2006
Springer
15 years 6 months ago
Deriving axioms across ontologies
Ontologies play a key role in agent communication and the emerging Semantic Web. Axioms are an important component of ontologies to describe the relationships among the concepts. ...
Dejing Dou, Drew V. McDermott
143
Voted
ESWS
2004
Springer
15 years 6 months ago
A Framework for Automated Service Composition in Service-Oriented Architectures
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...
Shalil Majithia, David W. Walker, W. A. Gray