Sciweavers

6014 search results - page 758 / 1203
» Structural Testing with Use Cases
Sort
View
SWAT
1994
Springer
120views Algorithms» more  SWAT 1994»
15 years 11 months ago
Parallel Dynamic Lowest Common Ancestors
This paper gives a CREW PRAM algorithm for the problem of finding lowest common ancestors in a forest under the insertion of leaves and roots and the deletion of leaves. For a fore...
Erik Schenk
CHI
2009
ACM
15 years 10 months ago
Yours, mine and (not) ours: social influences on group information repositories
Group information repositories are systems for storing and organizing files in a central location all group members can access. The functionality and capabilities of these systems...
Emilee Rader
AIMSA
2006
Springer
15 years 10 months ago
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
Martín Molina, Victor Flores
ESWS
2006
Springer
15 years 10 months ago
A Method to Convert Thesauri to SKOS
Thesauri can be useful resources for indexing and retrieval on the Semantic Web, but often they are not published in RDF/OWL. To convert thesauri to RDF for use in Semantic Web app...
Mark van Assem, Véronique Malaisé, A...
COMPSAC
2008
IEEE
15 years 8 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu