8068 search results - page 262 / 1614 » Java Data Objects |
135
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
123
Voted
ECOOPW
2003
Springer
15 years 9 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
123
Voted
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
The Propel Distributed Services Platform (PDSP) is the core software product of Propel, a new Internet infrastructure software company. The PDSP product was created to enable Java...
112
Voted
ASPLOS
1998
ACM
15 years 8 months ago
1998
ACM
In order to execute a program on a remote computer, it must first be transferred over a network. This transmission incurs the overhead of network latency before execution can beg...
135
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...