794 search results - page 97 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
CSMR
2006
IEEE
13 years 10 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
ESSOS
2010
Springer
14 years 5 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...