1709 search results - page 42 / 342 » Precise Modeling of Design Patterns |
114
click to vote
FMCO
2009
Springer
15 years 5 days ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
120
click to vote
AAAI
1994
15 years 3 months ago
1994
This paper presents a precise market model for a well-defined class of distributed configuration design problems. Given a design problem, the model defines a computational economy...
129
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
113
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
109
click to vote
ER
1999
Springer
15 years 6 months ago
1999
Springer
“A pattern ... describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can us...