19986 search results - page 3809 / 3998 » On Designing Software Architectures |
262
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
238
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
241
Voted
POPL
2004
ACM
16 years 4 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...
162
Voted
MOBISYS
2008
ACM
16 years 3 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,...
124
Voted
MOBISYS
2005
ACM
16 years 3 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...