451 search results - page 51 / 91 » Accomplishing software stability |
ACMACE
2009
ACM
14 years 21 days ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...
AMAST
2006
Springer
14 years 13 days ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
ARCS
2006
Springer
14 years 13 days ago
2006
Springer
State-of-the-art technologies in very large scale integration (VLSI) allow for the realization of gates with varying energy consumptions and hence delays (i.e., processing speeds) ...
FASE
2000
Springer
14 years 8 days ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
UIST
1995
ACM
14 years 6 days ago
1995
ACM
A fundamental issue in user interface design is the effective use of available screen space, commonly referred to as the screen real estate problem. This paper presents a new dist...