6581 search results - page 186 / 1317 » Formalizing Design Patterns |
116
Voted
TSMC
2011
14 years 10 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
136
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
151
Voted
AIME
2005
Springer
15 years 9 months ago
2005
Springer
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...
121
Voted
FORTE
1994
15 years 4 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
145
click to vote
APN
2007
Springer
15 years 9 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...