13137 search results - page 373 / 2628 » A Science of Software Design |
177
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider approximation algorithms for buy-at-bulk network design, with the additional constraint that demand pairs be protected against edge or node failures in the network. In...
180
click to vote
ACSC
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
164
click to vote
PDC
2006
ACM
16 years 21 days ago
2006
ACM
In this paper, we report on a project applying participatory design methods to include people who have experience of social exclusion (in one form or another) in designing possibl...
155
click to vote
FOCS
2005
IEEE
16 years 10 days ago
2005
IEEE
We use techniques from sample-complexity in machine learning to reduce problems of incentive-compatible mechanism design to standard algorithmic questions, for a wide variety of r...
170
click to vote
SIGCSE
2005
ACM
16 years 9 days ago
2005
ACM
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...