3415 search results - page 13 / 683 » Physical Design Refinement: The |
CSCW
2007
ACM
13 years 7 months ago
2007
ACM
Physical gaming is a genre of computer games that has recently been made available for the home. But what does it mean to bring games home that were originally designed for play in...
CE
2004
13 years 7 months ago
2004
Much computer-based learning is largely passive, based primarily on task-based, exercise-driven interactions. We argue that computers have greater potential for promoting more act...
DBPL
1995
Springer
13 years 11 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.