1516 search results - page 14 / 304 » Trends in Software Verification |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
SRDS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this work we investigate software aging phenomena inside the Java Virtual Machine (JVM). Starting from an experimental campaign on real world testbeds, this work isolates the c...
MOBILWARE
2009
ACM
14 years 1 months ago
2009
ACM
Major software companies, such as Apple and Google, are disturbing the relatively safe and established actors of the mobile application business. These newcomers have caused signiï...
ECOOPW
2000
Springer
14 years 11 days ago
2000
Springer
Previous workshops on reflection both in ECOOP and in OOPSLA have pointed out the growing interest and importance of Reflection and Metalevel Architectures in the fields of program...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...