5550 search results - page 584 / 1110 » Different Approaches to Proof Systems |
178
click to vote
LCTRTS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
201
click to vote
COMPSAC
2003
IEEE
16 years 17 days ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
221
Voted
CAIP
2003
Springer
16 years 15 days ago
2003
Springer
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...
206
Voted
DAC
2007
ACM
15 years 11 months ago
2007
ACM
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
230
click to vote
ECRTS
2004
IEEE
15 years 11 months ago
2004
IEEE
A common method for dealing with overload conditions in periodic task systems is to reduce the load by enlarging activation periods. When a periodic task implements a digital cont...