6581 search results - page 329 / 1317 » Formalizing Design Patterns |
147
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
138
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
143
click to vote
DIGITALCITIES
2003
Springer
15 years 9 months ago
2003
Springer
Today a wide variety of virtual worlds, cities, gaming environments etc. exist and become part of life of their human inhabitants. However, our understanding on how technology infl...
141
click to vote
ICPADS
2002
IEEE
15 years 9 months ago
2002
IEEE
Efficient determination of processing termination at barrier synchronization points can occupy an important role in the overall throughput of parallel and distributed computing sy...
174
click to vote
SCIA
2009
Springer
15 years 9 months ago
2009
Springer
A feature extraction method using multi-frequency bands is proposed for face recognition, named as the Multi-band Gradient Component Pattern (MGCP). The MGCP captures discriminativ...