201 search results - page 23 / 41 » Tools to Support Secure Enterprise Computing |
ISSRE
2006
IEEE
14 years 2 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...