Sciweavers

3943 search results - page 265 / 789
» Architecture-Level Requirements Specification
Sort
View
DEXA
2004
Springer
129views Database» more  DEXA 2004»
16 years 3 days ago
Using Case Based Retrieval Techniques for Handling Anomalous Situations in Advisory Dialogues
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...
Marcello L'Abbate, Ingo Frommholz, Ulrich Thiel, E...
ICWE
2004
Springer
16 years 2 days ago
Semantic Capabilities for the Metrics and Indicators Cataloging Web System
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
Hernán Molina, Fernanda Papa, María ...
ISCIS
2004
Springer
16 years 2 days ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
CHI
2010
ACM
16 years 16 hour ago
Managing nomadic knowledge: a case study of the European social forum
In this paper we portray a specific type of knowledge which we term ‘nomadic knowledge’. It is required periodically by different actors and travels along foreseeable paths be...
Saqib Saeed, Volkmar Pipek, Markus Rohde, Volker W...
KCAP
2003
ACM
15 years 12 months ago
A generic library of problem solving methods for scheduling applications
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...
Dnyanesh G. Rajpathak, Enrico Motta, Zdenek Zdr&aa...