2004 search results - page 209 / 401 » Comparison of Model Checking Tools for Information Systems |
149
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
191
click to vote
AEI
2007
15 years 6 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
162
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
165
click to vote
ISW
2007
Springer
16 years 16 days ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
179
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...