2836 search results - page 109 / 568 » Model Checking for Software Architectures |
118
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
For high-data-rate applications, turbo-like iterative decoders are implemented with parallel hardware architecture. However, to achieve high throughput, concurrent accesses to each...
147
Voted
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
119
click to vote
FASE
1998
Springer
15 years 8 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
123
Voted
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...
133
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...