10241 search results - page 1938 / 2049 » Goal-Driven Software Development |
144
click to vote
POPL
2010
ACM
15 years 4 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
97
Voted
NSDI
2008
15 years 4 months ago
2008
Very few computer systems that have been deployed in rural developing regions manage to stay operationally sustainable over the long term; most systems do not go beyond the pilot ...
126
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
120
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
117
click to vote
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
The Lego Mindstorms Robot Command eXplorer (RCX) is a popular robotics kit that provides an immediate "out-of-the-box" opportunity to explore software controlled robot i...