13137 search results - page 2469 / 2628 » A Science of Software Design |
CCS
2003
ACM
14 years 3 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difļ...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
In this paper we present FormSys, a Web-based system that service-enables form documents. It oļ¬ers two main services: ļ¬lling in forms based on Web servicesā incoming SOAP me...
CF
2010
ACM
14 years 3 months ago
2010
ACM
Per-core local (scratchpad) memories allow direct inter-core communication, with latency and energy advantages over coherent cache-based communication, especially as CMP architect...
EDOC
2002
IEEE
14 years 3 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...