5433 search results - page 552 / 1087 » Tool Support for Traceability-Adaptation |
315
Voted
POPL
2005
ACM
16 years 7 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
322
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
181
click to vote
SOSP
2003
ACM
16 years 4 months ago
2003
ACM
Diagnosing faults in the Internet is arduous and time-consuming, in part because the network is composed of diverse components spread across many administrative domains. We consid...
163
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
209
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...