19 search results - page 1 / 4 » fase 2010 |
FASE
2010
Springer
14 years 2 days ago
2010
Springer
FASE
2010
Springer
14 years 2 days ago
2010
Springer
FASE
2010
Springer
14 years 2 days ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
FASE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
FASE
2010
Springer
14 years 2 days ago
2010
Springer
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...