3724 search results - page 205 / 745 » Timed regular expressions |
120
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
119
click to vote
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
109
click to vote
ENGL
2007
15 years 4 months ago
2007
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
109
click to vote
ORL
2008
15 years 4 months ago
2008
We consider polling systems with general service times and switch-over times, gated service at all queues and with general renewal arrival processes. We derive closed-form express...
126
click to vote
KI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...