383 search results - page 53 / 77 » Testing Concurrent Systems: A Formal Approach |
143
Voted
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
115
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
122
Voted
FMSD
2006
15 years 3 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
133
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
100
Voted
PAKDD
2009
ACM
15 years 10 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...