3724 search results - page 213 / 745 » Timed regular expressions |
131
click to vote
CAI
2009
Springer
15 years 11 months ago
2009
Springer
The aim of this paper is to collect definitions and results on the main classes of 2D languages introduced with the attempt of generalizing regular and context-free string languag...
150
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
143
click to vote
AAAI
2000
15 years 6 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
122
click to vote
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
135
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...