7213 search results - page 1107 / 1443 » Automated model grouping |
164
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
162
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
161
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
214
click to vote
SRDS
2007
IEEE
16 years 28 days ago
2007
IEEE
We are witnessing a revival of Storage Service Providers in the form of new vendors as well as traditional players. While storage outsourcing is cost-effective, many companies are...
170
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...