13137 search results - page 2469 / 2628 » A Science of Software Design |
198
Voted
CCS
2003
ACM
16 years 6 days 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...
187
Voted
CGO
2010
IEEE
16 years 3 days 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ļ...
179
click to vote
WWW
2010
ACM
16 years 3 days 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...
202
click to vote
CF
2010
ACM
16 years 2 days 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...
177
Voted
EDOC
2002
IEEE
15 years 12 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...