Sciweavers

3172 search results - page 554 / 635
» New developments of the Z-EDM algorithm
Sort
View
ECMDAFA
2005
Springer
236views Hardware» more  ECMDAFA 2005»
14 years 1 months ago
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
Sven Burmester, Holger Giese, Wilhelm Schäfer
SEMWEB
2005
Springer
14 years 1 months ago
Rapid Benchmarking for Semantic Web Knowledge Base Systems
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
Sui-Yu Wang, Yuanbo Guo, Abir Qasem, Jeff Heflin
ASM
2003
ASM
14 years 1 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
ICDM
2002
IEEE
138views Data Mining» more  ICDM 2002»
14 years 1 months ago
Extraction Techniques for Mining Services from Web Sources
The Web has established itself as the dominant medium for doing electronic commerce. Consequently the number of service providers, both large and small, advertising their services...
Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishna...
ICVS
2001
Springer
14 years 15 days ago
A Stereo Vision System for Support of Planetary Surface Exploration
In this paper a system will be presented that was developed for ESA for the support of planetary exploration. The system that is sent to the planetary surface consists of a rover a...
Maarten Vergauwen, Marc Pollefeys, Luc J. Van Gool