2383 search results - page 314 / 477 » Anticipatory Behavioral Control |
80
Voted
JLP
2010
14 years 7 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
139
Voted
RTS
2010
14 years 7 months ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...
92
Voted
TSP
2010
14 years 7 months ago
2010
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...
110
Voted
CHI
2011
ACM
14 years 4 months ago
2011
ACM
In this paper we investigate how people use online rating information to inform decision making. We examine whether a theory of searching for information to discriminate between a...
104
Voted
VLSID
2008
IEEE
16 years 1 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...