5799 search results - page 367 / 1160 » Patterns Generate Architectures |
195
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
: Presented is a paradigm of how a design concept can be converted into a system of production rules to generate designs. The rules are expressed by the means of shape grammar form...
186
click to vote
VISSOFT
2005
IEEE
16 years 28 days ago
2005
IEEE
SAB is a tool for automatic generation of class diagrams from Java code. In addition to hierarchical layout, it features a wealth of user interaction facilities for dealing with c...
312
click to vote
CF
2011
ACM
14 years 7 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
173
click to vote
ITC
2002
IEEE
16 years 8 days ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
195
click to vote
GI
2001
Springer
15 years 12 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...