694 search results - page 127 / 139 » Comparison of software architecture reverse engineering meth... |
88
Voted
IPSN
2007
Springer
15 years 5 months ago
2007
Springer
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...
79
Voted
NETGAMES
2006
ACM
15 years 5 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
102
click to vote
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
102
Voted
TAMODIA
2007
15 years 25 days ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
93
Voted
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...