504 search results - page 73 / 101 » Explaining Verification Conditions |
108
Voted
ATVA
2010
Springer
15 years 22 days ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
106
Voted
EMSOFT
2010
Springer
15 years 21 days ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
147
Voted
FSTTCS
2010
Springer
15 years 21 days ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
125
Voted
IPAW
2010
15 years 19 days ago
2010
Given the significant increase of on-line services that require personal information from users, the risk that such information is misused has become an important concern. In such ...
120
Voted
ISVC
2010
Springer
15 years 19 days ago
2010
Springer
This paper reports an experimental analysis of footsteps as a biometric. The focus here is on information extracted from the time domain of signals collected from an array of piezo...