Sciweavers

2796 search results - page 303 / 560
» A time structure based software reliability model
Sort
View
CISIS
2010
IEEE
15 years 10 months ago
iweightings: Enhancing Structure-based Ontology Alignment by Enriching Models with Importance Weighting
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
Alexandra Mazak, Bernhard Schandl, Monika Lanzenbe...
ICFEM
2007
Springer
15 years 11 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
CLEIEJ
2004
123views more  CLEIEJ 2004»
15 years 4 months ago
BMM: A Business Modeling Method For Information Systems Development
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...
Jonás A. Montilva Calderón, Judith B...
EDBT
2008
ACM
178views Database» more  EDBT 2008»
16 years 5 months ago
An inductive database and query language in the relational model
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
Lothar Richter, Jörg Wicker, Kristina Kessler...
ECBS
2006
IEEE
122views Hardware» more  ECBS 2006»
15 years 11 months ago
Customer-oriented Development of Complex Distributed Systems
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
Ivonne Erfurth