Sciweavers

1110 search results - page 59 / 222
» A Test Environment for Natural Language Understanding System...
Sort
View
SEMWEB
2010
Springer
13 years 7 months ago
Justification Oriented Proofs in OWL
Abstract. Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, espec...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
ICFEM
2003
Springer
14 years 2 months ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu
SE
2007
13 years 10 months ago
An integration framework for heterogeneous automatic software tests
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...
Holger Schackmann, Horst Lichter, Veit Hoffmann
ICASSP
2008
IEEE
14 years 3 months ago
An interactive hybrid programming approach to signals and systems laboratory
Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...
Nasser D. Kehtarnavaz, Philip Loizou, Mohammad Rah...
CCGRID
2006
IEEE
14 years 3 months ago
GRENCHMARK: A Framework for Analyzing, Testing, and Comparing Grids
Grid computing is becoming the natural way to aggregate and share large sets of heterogeneous resources. With the infrastructure becoming ready for the challenge, current grid dev...
Alexandru Iosup, Dick H. J. Epema