474 search results - page 32 / 95 » Assurance Based Development of Critical Systems |
145
Voted
JUCS
2006
15 years 5 months ago
2006
: Individuals vary in survival chances due to differences in genetics, environmental exposures, and gene-environment interactions. These chances, as well as the contribution of eac...
149
click to vote
AVSS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an Open Source Vision Library (OpenVL) for hardware acceleration of video-based surveillance systems and other computer vision applications to facilitate low l...
139
click to vote
JCDL
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...
136
click to vote
HOTOS
1997
IEEE
15 years 9 months ago
1997
IEEE
To an unappreciated degree, research both in operating systems andtheirprogramminglanguageshasbeen severely hampered by the lack of cleanly reusable code providing mundanelow-leve...
122
click to vote
TSMC
2008
15 years 4 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...