8446 search results - page 1445 / 1690 » A Process Compensation Language |
113
click to vote
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
In recent years, due to the increasing popularization of data broadcasting, the volume and variety of data being broadcast are rapidly increasing. In this environment, as it is di...
153
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
131
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
162
click to vote
DEBS
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
160
Voted
ISPE
2003
15 years 5 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...