3724 search results - page 182 / 745 » Timed regular expressions |
158
Voted
AIML
2008
15 years 6 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
116
Voted
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss th...
129
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
Time series analysis is a promising approach to discover temporal patterns from time stamped, numeric data. A novel approach to apply time series analysis to discern temporal info...
156
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
141
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates how dynamic branch prediction in a microprocessor affects the predictability of execution time for software running on that processor. By means of experim...