1866 search results - page 248 / 374 » Dynamic instantiation-checking components |
152
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
137
click to vote
ENTCS
2002
15 years 3 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
125
Voted
IJCIM
2002
15 years 3 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
169
Voted
IJRR
2002
15 years 3 months ago
2002
A key component of a mobile robot system is the ability to localize itself accurately and, simultaneously, to build a map of the environment. Most of the existing algorithms are b...
141
Voted
JCB
2002
15 years 3 months ago
2002
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...