323 search results - page 41 / 65 » Security Analysis of Mobile Java |
SBMF
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java’s standard libraries, for example,...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
WISA
2009
Springer
15 years 4 months ago
2009
Springer
RFID-based access control solutions for mobile environments, e.g. ticketing systems for sport events, commonly rely on readers that are not continuously connected to the back-end s...
102
click to vote
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—Ubiquitous network connectivity and mobile communications have recently attracted remarkable attention. Wireless multihop networks such as Mobile Ad hoc Networks or Wire...