550 search results - page 73 / 110 » An Architecture-Based Software Reliability Model |
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
KBSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
VL
2005
IEEE
14 years 4 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...
CHI
2002
ACM
14 years 11 months ago
2002
ACM
Despite many sensor, hardware, networking, and software advances, it is still quite difficult to build effective and reliable context-aware applications. We propose to build a con...