2255 search results - page 158 / 451 » High Assurance Software Systems |
217
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
182
click to vote
WORM
2003
15 years 7 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
148
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Advances in multiprocessor interconnect technologyare leading to high performance networks. However, software overheadsassociated with message passing are limiting the processors ...
170
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
198
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...