Sciweavers

1583 search results - page 260 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
ITS
2004
Springer
129views Multimedia» more  ITS 2004»
14 years 1 months ago
Spoken Versus Typed Human and Computer Dialogue Tutoring
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...
Diane J. Litman, Carolyn Penstein Rosé, Kat...
CC
1999
Springer
116views System Software» more  CC 1999»
14 years 10 days ago
A Programmable ANSI C Transformation Engine
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
Maarten Boekhold, Ireneusz Karkowski, Henk Corpora...
HYBRID
2000
Springer
13 years 11 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
OOPSLA
2010
Springer
13 years 6 months ago
The two-state solution: native and serializable continuations accord
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...
Jay A. McCarthy
ECOOP
2007
Springer
14 years 2 months ago
MAO: Ownership and Effects for More Effective Reasoning About Aspects
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
Curtis Clifton, Gary T. Leavens, James Noble