Sciweavers

3972 search results - page 359 / 795
» Palpability Support Demonstrated
Sort
View
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 4 months ago
LiquidXML: Adaptive XML Content Redistribution
We propose to demonstrate LiquidXML, a platform for managing large corpora of XML documents in large-scale P2P networks. All LiquidXML peers may publish XML documents to be shared...
Jesús Camacho-Rodríguez, Asterios Ka...
CORR
2008
Springer
82views Education» more  CORR 2008»
15 years 4 months ago
An Evaluation of a Structured Spreadsheet Development Methodology
This paper presents the results of an empirical evaluation of the quality of a structured methodology for the development of spreadsheet models, proposed in numerous previous pape...
Kamalasen Rajalingham, David Chadwick, Brian Knigh...
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 4 months ago
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
Alan Rust, Brian Bishop, Kevin McDaid
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 4 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur
CORR
2010
Springer
160views Education» more  CORR 2010»
15 years 4 months ago
Developing courses with HoloRena, a framework for scenario- and game based e-learning environments
However utilizing rich, interactive solutions can make learning more effective and attractive, scenarioand game-based educational resources on the web are not widely used. Creatin...
Laszlo Juracz