11716 search results - page 198 / 2344 » Computable symbolic dynamics |
203
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
158
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The impact of parameter variations in integrated analog circuits is usually analyzed by Monte Carlo methods with a high number of simulation runs. Few approaches based on interval ...
155
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
158
click to vote
STRINGOLOGY
2008
15 years 8 months ago
2008
Abstract. We study the problem of finding local and global covers as well as seeds in conservative indeterminate strings. An indeterminate string is a sequence T = T[1]T[2] . . . T...
174
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...