4476 search results - page 137 / 896 » Modeling software architectures in the Unified Modeling Lang... |
188
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
124
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
154
Voted
CDVE
2007
Springer
15 years 11 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
134
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...
195
click to vote
VLSID
1999
IEEE
15 years 9 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...