4752 search results - page 623 / 951 » Dependability in Web Software |
240
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...
222
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
198
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
233
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
215
click to vote
APSEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...