3972 search results - page 359 / 795 » Palpability Support Demonstrated |
119
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
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...
118
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
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...
143
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
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 ...
131
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
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 ...
119
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
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...