Sciweavers

3021 search results - page 41 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
AAAI
2008
15 years 2 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
ICFEM
2003
Springer
15 years 5 months ago
Service-Based Systems Engineering: Consistent Combination of Services
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
Bernhard Schätz, Chris Salzmann
IRI
2007
IEEE
15 years 6 months ago
Question Driven Semantics Interpretation for Collaborative Knowledge Engineering and Ontology Reuse
Ontology integration, alignment, and reuse are at the heart of Semantic Web vision. The alignment between two ontologies can be achieved easily provided both share the same axioma...
Khalid Latif, Edgar Weippl, A. Min Tjoa
WWW
2007
ACM
16 years 14 days ago
Efficient search engine measurements
We address the problem of measuring global quality metrics of search engines, like corpus size, index freshness, and density of duplicates in the corpus. The recently proposed est...
Ziv Bar-Yossef, Maxim Gurevich
KCAP
2003
ACM
15 years 5 months ago
FONTE: factorizing ONTology engineering complexity
Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factoriz...
Jorge Santos, Steffen Staab