4930 search results - page 914 / 986 » Testing a Safety-Critical Application |
145
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
158
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
In this paper, we present the AgreementMaker, an ontology alignment tool that incorporates the Descendants Similarity Inheritance (DSI) method. This method uses the structure of th...
140
click to vote
VMCAI
2007
Springer
16 years 8 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
155
click to vote
WAIM
2007
Springer
16 years 8 days ago
2007
Springer
Nowadays, as there is an increasing need to integrate the DBMS (for structured data) with Information Retrieval (IR) features (for unstructured data), DB-IR integration becomes one...
171
click to vote
XPU
2007
Springer
16 years 8 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...