Sciweavers

16844 search results - page 370 / 3369
» How to Design Programs
Sort
View
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 10 months ago
Backdoors to Tractable Answer-Set Programming
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
Johannes Klaus Fichte, Stefan Szeider
PC
2012
223views Management» more  PC 2012»
14 years 2 months ago
Using shared arrays in message-driven parallel programs
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
Phil Miller, Aaron Becker, Laxmikant V. Kalé...
IUI
2005
ACM
16 years 11 days ago
Metafor: visualizing stories as code
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
Hugo Liu, Henry Lieberman
165
Voted
IUSED
2008
15 years 8 months ago
Reducing Risk through Human Centred Design
The National Academy of Science's report on Human-System Integration in the system development process (NAS HSI report) [12] explains how human needs can be integrated into s...
Nigel Bevan
CHI
2009
ACM
15 years 8 months ago
The application of forgiveness in social system design
When an offence occurs, the victim and offender can overcome the harm done through forgiveness. This paper demonstrates how forgiveness can be supported in social system design. W...
Asimina Vasalou, Jens Riegelsberger, Adam N. Joins...