Sciweavers

7452 search results - page 1159 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
IV
2005
IEEE
131views Visualization» more  IV 2005»
16 years 10 days ago
A Framework for Visualising Large Graphs
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
Wanchun Li, Seok-Hee Hong, Peter Eades
147
Voted
QSIC
2005
IEEE
16 years 10 days ago
Test Case Generation by OCL Mutation and Constraint Solving
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
Bernhard K. Aichernig, Percy Antonio Pari Salas
QSIC
2005
IEEE
16 years 10 days ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
KCAP
2005
ACM
16 years 10 days ago
Ontology ranking based on the analysis of concept structures
In view of the need to provide tools to facilitate the reuse of existing knowledge structures such as ontologies, we present in this paper a system, AKTiveRank, for the ranking of...
Harith Alani, Christopher Brewster
KCAP
2005
ACM
16 years 10 days ago
Searching Web Resources Using Ontology Mappings
This paper proposes an ontology mapping based framerowk that allows searching for web resources using multiple ontologies. The proposed solution uses a mapping ontology that is a ...
Dragan Gasevic, Marek Hatala
« Prev « First page 1159 / 1491 Last » Next »