245 search results - page 23 / 49 » Parametric probabilistic transition systems for system desig... |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
ECRTS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
SOFTWARE
1998
13 years 7 months ago
1998
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
ENGL
2007
13 years 7 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...