3724 search results - page 241 / 745 » Timed regular expressions |
212
click to vote
CAV
1994
Springer
15 years 10 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
203
click to vote
TOSEM
2010
15 years 19 days ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
141
Voted
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
166
click to vote
TELETRAFFIC
2007
Springer
16 years 1 days ago
2007
Springer
Many Internet applications employ multi-tier software architectures. The performance of such multi-tier Internet applications is typically measured by the end-toend response times...
134
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...