6796 search results - page 1020 / 1360 » Java for Embedded Systems |
142
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
143
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
145
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
Information retrieval systems (e.g., web search engines) are critical for overcoming information overload. A major deficiency of existing retrieval systems is that they generally...
173
Voted
HVC
2005
Springer
15 years 10 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
173
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
The characteristics of mobile environments, with the possibility of frequent disconnections and fluctuating bandwidth, have forced a rethink of traditional middleware. In particu...