809 search results - page 103 / 162 » Requirements by Contracts allow Automated System Testing |
136
Voted
ENTCS
2007
15 years 5 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
143
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
Logic soft errors are radiation induced transient errors in sequential elements (flip-flops and latches) and combinational logic. Robust enterprise platforms in sub-65nm technolog...
155
click to vote
TIM
2011
15 years 23 hour ago
2011
—High-resolution automated fingerprint recognition systems (AFRSs) offer higher security because they are able to make use of level-3 features, such as pores, that are not avail...
166
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
As one of the newest members in the field of artificial immune systems (AIS), the Dendritic Cell Algorithm (DCA) is based on behavioural models of natural dendritic cells (DCs). U...
156
Voted
TIM
2011
15 years 23 hour ago
2011
—Low-cost networked fluid flow velocity sensors are needed for high-density sampling in environmental research and other applications requiring automated fluid flow velocity mapp...