4476 search results - page 131 / 896 » Modeling software architectures in the Unified Modeling Lang... |
100
click to vote
ERSA
2009
14 years 11 months ago
2009
We present the architecture and programming model for MORA, a coarse-grained reconfigurable processor aimed at multimedia applications. The MORA architecure is a MIMD machine consi...
92
Voted
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
143
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
136
Voted
QOSA
2010
Springer
15 years 5 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
113
Voted
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...