Sciweavers

894 search results - page 96 / 179
» Active Reliable Multicast
Sort
View
132
Voted
SAC
2008
ACM
15 years 3 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter
116
Voted
SOCIALCOM
2010
15 years 1 months ago
Friendfeed Breaking News: Death of a Public Figure
Abstract--Microblogging sites allow users to post short messages online, offering a reliable way to communicate and to spread information quickly and efficiently; moreover, they ca...
Matteo Magnani, Danilo Montesi, Luca Rossi
COMPSAC
2010
IEEE
15 years 1 months ago
Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
Alberto González-Sanchez, Éric Piel,...
150
Voted
INFOCOM
2010
IEEE
15 years 27 days ago
On the Feasibility and Efficacy of Protection Routing in IP Networks
With network components increasingly reliable, routing is playing an ever greater role in determining network reliability. This has spurred much activity in improving routing stabi...
Kin Wah Kwong, Lixin Gao, Roch Guérin, Zhi-...
230
Voted
POPL
2008
ACM
16 years 4 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...