1116 search results - page 73 / 224 » Applying Predicate Abstraction to Abstract State Machines |
138
click to vote
ASM
2003
ASM
15 years 9 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
132
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
123
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. This paper presents a new classification algorithm for realtime inference of emotions from the non-verbal features of speech. It identifies simultaneously occurring emoti...
157
click to vote
TSE
2011
14 years 11 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
140
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...