250 search results - page 48 / 50 » Implementing a Control System Framework for Automatic Genera... |
114
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
119
Voted
ENTCS
2007
15 years 2 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
125
Voted
VEE
2009
ACM
15 years 9 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
137
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
118
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...