5200 search results - page 909 / 1040 » Symbolic models for control systems |
166
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we propose a conceptual framework for developing a family of models for Group-Centric information sharing. The traditional approach to information sharing, characte...
217
Voted
UIST
1993
ACM
15 years 9 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
146
click to vote
HASE
2008
IEEE
15 years 12 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
150
click to vote
SIGMETRICS
2005
ACM
15 years 11 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
176
click to vote
UPP
2004
Springer
15 years 10 months ago
2004
Springer
Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material...