Sciweavers

1791 search results - page 181 / 359
» Semantics and Complexity of SPARQL
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
15 years 11 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
SAG
2004
Springer
15 years 11 months ago
Modelling a Protein Structure Comparison Application on the Grid Using PROTEUS
Bioinformatics applications manage complex biological data stored into distributed and often heterogeneous databases and require large computing power. Among these, protein structu...
Mario Cannataro, Matteo Comin, Carlo Ferrari, Conc...
ECTEL
2007
Springer
15 years 10 months ago
A Qualitative and Quantitative Evaluation of Adaptive Authoring of Adaptive Hypermedia
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
Maurice Hendrix, Alexandra I. Cristea
VL
1997
IEEE
151views Visual Languages» more  VL 1997»
15 years 9 months ago
A Structured Interactive Workspace for a Visual Configuration Language
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
Jean-Yves Vion-Dury, François Pacull
BIRTHDAY
1991
Springer
15 years 9 months ago
User Interface Development: Problems and Experiences
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
Hans-Werner Six, Josef Voss