553 search results - page 4 / 111 » A Perspective on Component Refinement |
67
Voted
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
112
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
ENTCS
2008
15 years 12 days ago
2008
118
click to vote
DLOG
2009
14 years 11 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
100
Voted
EMISA
2002
Springer
15 years 1 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...