3750 search results - page 331 / 750 » Timed Automata Patterns |
138
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
173
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
180
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
133
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Traditionally, representation has been perceived as a necessity for producing intelligent behavior. Once the right representation is in place to drive it, behavior unfolds as the ...
159
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
We consider the problem of reconstructing time sequences of spatially sparse signals (with unknown and time-varying sparsity patterns) from a limited number of linear "incohe...