3724 search results - page 217 / 745 » Timed regular expressions |
137
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
136
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
141
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
136
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
107
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...