1833 search results - page 269 / 367 » Mechanized Verification with Sharing |
124
click to vote
MSR
2009
ACM
15 years 11 months ago
2009
ACM
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...
142
click to vote
ICFCA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
153
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we propose a novel coalitional game model for security issues in wireless networks. The model can be applied to not only mobile ad hoc networks but also wireless ...
114
click to vote
ICECCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Experimental replications are very important to the advancement of empirical software engineering. Replications are one of the key mechanisms to confirm previous experimental find...
135
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Significant progress has been made in understanding the behavior of TCP and congestion-controlled traffic over multihop wireless networks. Despite these advances, however, no ...