794 search results - page 97 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
109
click to vote
CSMR
2006
IEEE
15 years 4 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...
128
click to vote
PERCOM
2010
ACM
15 years 10 days 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...
119
Voted
SAC
2010
ACM
15 years 9 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...
141
click to vote
PPDP
2010
Springer
15 years 10 days 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...
109
click to vote
ESSOS
2010
Springer
15 years 11 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...