6796 search results - page 1020 / 1360 » Java for Embedded Systems |
180
click to vote
APLAS
2006
ACM
16 years 23 days 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...
199
click to vote
PLDI
2005
ACM
16 years 10 days 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...
205
click to vote
CIKM
2005
Springer
16 years 9 days 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...
211
click to vote
HVC
2005
Springer
16 years 9 days 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...
217
Voted
MIDDLEWARE
2004
Springer
16 years 4 days 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...