162
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
In recent years the power of Grid computing has grown exponentially through the development of advanced middleware systems. While usage has increased, the penetration of Grid compu...
182
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
147
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
