Sciweavers

2421 search results - page 187 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
ISSRE
2005
IEEE
16 years 12 hour ago
Safety Analysis of Software Product Lines Using State-Based Modeling
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
Jing Liu, Josh Dehlinger, Robyn R. Lutz
MLMI
2004
Springer
15 years 11 months ago
Shallow Dialogue Processing Using Machine Learning Algorithms (or Not)
This paper presents a shallow dialogue analysis model, aimed at human-human dialogues in the context of staff or business meetings. Four components of the model are defined, and ...
Andrei Popescu-Belis, Alexander Clark, Maria Georg...
OOIS
2001
Springer
15 years 11 months ago
Ontology Modeling Using UML
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
Xin Wang, Christine W. Chan
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
15 years 8 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
BTW
2003
Springer
129views Database» more  BTW 2003»
15 years 11 months ago
Type Checking in XOBE
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
Martin Kempa, Volker Linnemann