899 search results - page 91 / 180 » A Temporal Language for SystemC |
113
click to vote
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
114
click to vote
IEAAIE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract: SumTime-Turbine produces textual summaries of archived timeseries data from gas turbines. These summaries should help experts understand large data sets that cannot be vi...
113
click to vote
EDOC
2008
IEEE
15 years 3 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
126
click to vote
IJIS
2002
15 years 1 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
120
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...