2493 search results - page 178 / 499 » Tool Support for Design by Contract |
156
click to vote
AAAI
2000
15 years 7 months ago
2000
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...
138
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Families must continually organize, plan, and stay aware of the activities of their households in order to coordinate everyday life. Despite having organization schemes, many peop...
175
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
Three-dimensional maps are fundamental tools for presenting, exploring, and manipulating geo data. This paper describes multiresolution concepts for 3D maps and their texture-base...
181
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
How is work created, assigned, and completed on large-scale, crowd-powered systems like Wikipedia? And what design principles might enable these federated online systems to be mor...
159
click to vote
WSC
2007
15 years 8 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...