3045 search results - page 364 / 609 » Formal Approaches to Software Architecture |
169
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
167
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
199
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Dynamic and partial reconfiguration discovers more and more the focus in academic and industrial research. Modern systems in e.g. avionic and automotive applications exploit the p...
171
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
190
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...