Sciweavers

582 search results - page 25 / 117
» Generative and Incremental Approach to Scripting Support Imp...
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 8 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
FLAIRS
2006
13 years 9 months ago
Supporting Systematic Usage of Context in Web Applications
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...
J. Wolfgang Kaltz, Jürgen Ziegler
ICWE
2004
Springer
14 years 1 months ago
Modeling the Structure of Web Applications with ArgoUWE
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
Alexander Knapp, Nora Koch, Gefei Zhang
CLUSTER
2004
IEEE
13 years 11 months ago
Rolls: modifying a standard system installer to support user-customizable cluster frontend appliances
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...
Greg Bruno, Mason J. Katz, Federico D. Sacerdoti, ...
STORYTELLING
2005
Springer
14 years 1 months ago
Generating Verbal and Nonverbal Utterances for Virtual Characters
Abstract. We introduce an approach to multimodal generation of verbal and nonverbal contributions for virtual characters in a multiparty dialogue scenario. This approach addresses ...
Benjamin Kempe, Norbert Pfleger, Markus Löcke...