3400 search results - page 390 / 680 » tools 2008 |
185
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
Findings from a data mapping and extraction exercise undertaken as part of the STAR project are described and related to recent work in the area. The exercise was undertaken in con...
163
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
Placeholders in physical documents provide critical support for the human reader in relocating material and their place in the text. However, the equivalent tools in digital docume...
166
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
In this demo we present a first implementation of Semantic Web Pipes, a powerful tool to build RDF-based mashups. Semantic Web pipes are defined in XML and when executed they fetch...
148
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
188
Voted
FM
2008
Springer
15 years 8 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...