1980 search results - page 236 / 396 » Compositional Model Checking of Real Time Systems |
160
Voted
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
142
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
129
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
117
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
131
Voted
ICAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...