Sciweavers

1328 search results - page 76 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
CADE
2010
Springer
13 years 10 months ago
Monotonicity Inference for Higher-Order Formulas
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
Jasmin Christian Blanchette, Alexander Krauss
APSEC
2004
IEEE
14 years 15 days ago
Quality Improvements by Integrating Development Processes
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
Annita Persson Dahlqvist, Ivica Crnkovic, Ulf Askl...
ICCBR
2005
Springer
14 years 2 months ago
Supporting Conversation Variability in COBBER Using Causal Loops
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
Hector Gómez-Gauchía, Belén D...
WORDS
2005
IEEE
14 years 2 months ago
Error Recovery for a Boiler System with OTS PID Controller
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
Tom Anderson, Mei Feng, Steve Riddle, Alexander Ro...
GISCIENCE
2004
Springer
121views GIS» more  GISCIENCE 2004»
14 years 2 months ago
Semi-automatic Ontology Alignment for Geospatial Data Integration
In geospatial applications with heterogeneous databases, an ontology-driven approach to data integration relies on the alignment of the concepts of a global ontology that describe ...
Isabel F. Cruz, William Sunna, Anjli Chaudhry