402 search results - page 59 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
DIAL
2004
IEEE
13 years 11 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
EFORENSICS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This article describes techniques of vocal forgery able to affect automatic speaker recognition system in a forensic context. Vocal forgery covers two main aspects: voice...
ICADL
2003
Springer
14 years 23 days ago
2003
Springer
Ontologies play an important role in the Semantic Web as well as in digital library and knowledge portal applications. This project seeks to develop an automatic method to enrich e...
BIRTHDAY
2010
Springer
14 years 11 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...