Sciweavers

362 search results - page 42 / 73
» Facilitating Requirements Engineering of Semantic Applicatio...
Sort
View
70
Voted
SERA
2005
Springer
15 years 3 months ago
A Design and Test Technique for Embedded Software
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
Byeongdo Kang, Young-Jik Kwon, Roger Y. Lee
75
Voted
IMR
2003
Springer
15 years 3 months ago
Unified Geometry Access for Analysis and Design
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...
Robert Haimes, Curran Crawford
75
Voted
DEXA
2007
Springer
115views Database» more  DEXA 2007»
15 years 4 months ago
Ontology Modularization for Knowledge Selection: Experiments and Evaluations
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
Mathieu d'Aquin, Anne Schlicht, Heiner Stuckenschm...
77
Voted
PRDC
2007
IEEE
15 years 4 months ago
Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
Christian Buckl, Matthias Regensburger, Alois Knol...
95
Voted
SEFM
2006
IEEE
15 years 4 months ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker