Sciweavers

10406 search results - page 218 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
110
Voted
WWW
2005
ACM
16 years 4 months ago
Mining web site's topic hierarchy
Searching and navigating a Web site is a tedious task and the hierarchical models, such as site maps, are frequently used for organizing the Web site's content. In this work,...
Nan Liu, C. Yang
143
Voted
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 7 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack
136
Voted
APBC
2003
123views Bioinformatics» more  APBC 2003»
15 years 5 months ago
A Platform for the Description, Distribution and Analysis of Genetic Polymorphism Data
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...
Greg D. Tyrelle, Garry C. King
126
Voted
DAWAK
2007
Springer
15 years 9 months ago
Automating the Schema Matching Process for Heterogeneous Data Warehouses
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...
Marko Banek, Boris Vrdoljak, A. Min Tjoa, Zoran Sk...
140
Voted
CAISE
1999
Springer
15 years 8 months ago
Towards a Classification Framework for Application Granularity in Workflow Management Systems
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
Jörg Becker, Michael zur Muehlen