4647 search results - page 55 / 930 » Composite Design Patterns |
ENTCS
2002
13 years 9 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
AWIC
2003
Springer
14 years 3 months ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
ESORICS
2002
Springer
14 years 9 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...