Sciweavers

191 search results - page 30 / 39
» An XML-based Document Suite
Sort
View
FM
2006
Springer
161views Formal Methods» more  FM 2006»
14 years 2 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
AIIA
1991
Springer
14 years 2 months ago
Knowledge-Based Media Coordination in Intelligent User Interfaces
Multimodal interfaces combining, e.g., natural language and graphics take advantage of both the individual strength of each communication mode and the fact that several modes can ...
Wolfgang Wahlster, Elisabeth André, Winfrie...
ERCIMDL
2009
Springer
193views Education» more  ERCIMDL 2009»
14 years 2 months ago
The Planets Interoperability Framework
We report on the implementation of a software infrastructure for preservation actions, carried out in the context of the European Integrated Project Planets – the Planets Interop...
Ross King, Rainer Schmidt, Andrew N. Jackson, Carl...
ASSETS
2008
ACM
14 years 29 days ago
MySpeechWeb: software to facilitate the construction and deployment of speech applications on the web
Few voice-in/voice-out applications are available on the web. The problem appears to be the lack of appropriate open-source tools. More speech applications would increase the func...
Richard A. Frost, Ali Karaki, David A. Dufour, Jos...
C3S2E
2008
ACM
14 years 29 days ago
Context-sensitive cut, copy, and paste
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
Reid Kerr, Wolfgang Stürzlinger