13137 search results - page 2500 / 2628 » A Science of Software Design |
231
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
152
Voted
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...
112
Voted
MOBISYS
2005
ACM
16 years 2 months ago
2005
ACM
Energy efficiency has become a critical issue for battery-driven computers. Significant work has been devoted to improving it through better software and hardware. However, the hu...
151
Voted
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
Reliability at massive scale is one of the biggest challenges we face at Amazon.com, one of the largest e-commerce operations in the world; even the slightest outage has significa...
145
Voted
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
—Collaborations by the use of inter-organizational business processes can help companies to achieve a competitive edge over competing businesses. Typically, these collaborations ...