Sciweavers

3444 search results - page 257 / 689
» A Theory of Object-Oriented Design
Sort
View
DALT
2010
Springer
15 years 1 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
FOCS
2008
IEEE
16 years 1 months ago
On the Hardness of Being Truthful
The central problem in computational mechanism design is the tension between incentive compatibility and computational ef ciency. We establish the rst significant approximability ...
Christos H. Papadimitriou, Michael Schapira, Yaron...
BCSHCI
2008
15 years 8 months ago
Low cost prototyping: part 1, or how to produce better ideas faster by getting user reactions early and often
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
Stephen Brown, Andreas Holzinger
ACMDIS
2010
ACM
15 years 7 months ago
Materializing energy
Motivated and informed by perspectives on sustainability and design, this paper draws on a diverse body of scholarly works related to energy and materiality to articulate a perspe...
James Pierce, Eric Paulos
289
Voted

Book
269views
17 years 4 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper