851 search results - page 18 / 171 » History Effects and Verification |
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—This paper presents CARE, an autonomous email reputation system based on inter-domain collaboration. Within the framework of CARE, each domain independently builds its reputatio...
PPOPP
2010
ACM
15 years 6 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
179
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
84
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...