1027 search results - page 178 / 206 » A Model for Java with Wildcards |
199
click to vote
PATMOS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...
184
Voted
PPDP
2005
Springer
16 years 29 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
179
Voted
SPIN
2005
Springer
16 years 29 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
182
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
225
click to vote
ADAEUROPE
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...