6796 search results - page 611 / 1360 » Java for Embedded Systems |
214
click to vote
PET
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
212
click to vote
DSN
2003
IEEE
16 years 15 days ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
172
click to vote
CC
2003
Springer
16 years 13 days ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
202
click to vote
GD
2003
Springer
16 years 13 days ago
2003
Springer
Given two different drawings of a planar graph we consider the problem of morphing one drawing into the other. We designed and implemented an algorithm for intersection-free morph...
154
click to vote
DATE
2002
IEEE
16 years 5 days ago
2002
IEEE
Future networked appliances should be able to download new services or upgrades from the network and execute them locally. This flexibility is typically achieved by processors tha...