682 search results - page 125 / 137 » Java Implementation Verification Using Reverse Engineering |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
CODES
2006
IEEE
13 years 9 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
SSD
2005
Springer
14 years 29 days ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...
EMSOFT
2011
Springer
12 years 7 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...