3792 search results - page 189 / 759 » Techniques for Trusted Software Engineering |
108
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
110
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
The current commercial anti-virus software detects a virus only after the virus has appeared and caused damage. Motivated by the standard signature-based technique for detecting v...
215
click to vote
ECSA
2011
Springer
14 years 3 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
132
click to vote
AC
1999
Springer
15 years 8 months ago
1999
Springer
The CORBA Object Group Service (OGS) is a new CORBA service that provides support for fault-tolerance through the replication of CORBA objects. In this paper, we present several o...
93
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...