Sciweavers

234 search results - page 18 / 47
» QuARS Express - A Tool Demonstration
Sort
View
WEBDB
1999
Springer
196views Database» more  WEBDB 1999»
13 years 11 months ago
Web Ecology: Recycling HTML Pages as XML Documents Using W4F
In this paper we present the World-Wide Web Wrapper Factory (W4F), a Java toolkit to generate wrappers for Web data sources. Some key features of W4F are an expressive language to...
Arnaud Sahuguet, Fabien Azavant
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
13 years 11 months ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
13 years 11 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
FLAIRS
2008
13 years 9 months ago
Graph Grammars: An ITS Technology for Diagram Representations
For many educational applications such as learning tools for argumentation, structured diagrams are a suitable form of external representation. However, student-created graphs pos...
Niels Pinkwart, Kevin D. Ashley, Vincent Aleven, C...
AAAI
2006
13 years 8 months ago
Using the Semantic Web to Integrate Ecoinformatics Resources
We demonstrate an end-to-end use case of the semantic web's utility for synthesizing ecological and environmental data. ELVIS (the Ecosystem Location Visualization and Inform...
Cynthia Sims Parr, Andriy Parafiynyk, Joel Sachs, ...