19 search results - page 1 / 4 » fase 2010 |
FASE
2010
Springer
13 years 11 months ago
2010
Springer
FASE
2010
Springer
13 years 11 months ago
2010
Springer
FASE
2010
Springer
13 years 11 months 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
13 years 11 months 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...