1463 search results - page 227 / 293 » Model Checking Implicit-Invocation Systems |
138
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
105
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
102
click to vote
BPM
2004
Springer
15 years 5 months ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
117
click to vote
FMAM
2010
14 years 11 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...