2062 search results - page 239 / 413 » Hardware Objects for Java |
IWPC
2003
IEEE
14 years 2 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
METRICS
2003
IEEE
14 years 2 months ago
2003
IEEE
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
MATA
2001
Springer
14 years 1 months ago
2001
Springer
As networks become all-pervasive the importance of efficient information gathering for purposes such as monitoring, fault diagnosis, and performance evaluation can only increase. E...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...