34181 search results - page 188 / 6837 » Computer system |
153
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
231
click to vote
AIM
2002
15 years 7 months ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...
238
click to vote
DSVIS
2001
Springer
15 years 11 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
160
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Condition based maintenance (CBM) seeks to generate a design for a new ship wide CMB system that performs diagnoses and failure prediction on Navy shipboard machinery. Eventually, ...
227
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...