2836 search results - page 125 / 568 » Model Checking for Software Architectures |
135
click to vote
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...
153
click to vote
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
139
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...
139
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Visualizing software architecture faces the challenges of both data complexity and visual complexity. This paper presents an approach for visualizing software architect...
146
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...