1052 search results - page 113 / 211 » The Regular Real-Time Languages |
121
click to vote
DELOS
2000
15 years 5 months ago
2000
We consider a query subscription system that can provide users with information about web changes that interest them. We present a query subscription language and a system that co...
131
click to vote
JCSS
2011
14 years 10 months ago
2011
Abstract. We show how to represent an interval of real numbers in an abstract numeration system built on a language that is not necessarily regular. As an application, we consider ...
234
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
115
click to vote
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
149
click to vote
PPPJ
2006
ACM
15 years 9 months ago
2006
ACM
This paper is about business process management (BPM) and business activity monitoring (BAM) using event processing. We will show why the management of business processes is impor...