5084 search results - page 924 / 1017 » Proving Possibility Properties |
166
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
SPAA
2006
ACM
15 years 10 months ago
2006
ACM
This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we st...
123
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
Fault-tolerant protocols, asynchronous and synchronous alike, make stationary fault assumptions: only a fraction f of the total n nodes may fail. Whilst a synchronous protocol is ...
157
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
117
click to vote
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
The concept of care-of-address (CoA) is a major cause of excessive handoff delay in Mobile IPv6 for real time multimedia traffic. Many schemes eliminate the use of CoA at the micr...