Sciweavers

3071 search results - page 117 / 615
» Explanatory Design Theory
Sort
View
POPL
2012
ACM
13 years 5 months ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
RTSS
2000
IEEE
15 years 2 months ago
Performance Specifications and Metrics for Adaptive Real-Time Systems
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
Chenyang Lu, John A. Stankovic, Tarek F. Abdelzahe...
EMSOFT
2003
Springer
15 years 3 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
67
Voted
CHI
2006
ACM
15 years 10 months ago
Dispelling "design" as the black art of CHI
We discuss the legacy and processes of creative design, and differentiate it from the type of user-centered design commonly found in CHI. We provide an example of this process, an...
Tracee Vetting Wolf, Jennifer Ann Rode, Jeremy B. ...
82
Voted
IE
2007
14 years 11 months ago
Observing the learning curve of videogames in architectural design
This paper presents innovative research into the use of videogame environments within architectural design studios. In this context, 3D videogame environments encourage new unders...
Greg More, Andrew Burrow