6201 search results - page 967 / 1241 » Implementation of Axiomatic Language |
190
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
160
click to vote
IWMM
2007
Springer
16 years 24 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
158
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
178
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
177
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...