568 search results - page 83 / 114 » The Great Language Debate |
IFIP
2005
Springer
14 years 2 months ago
2005
Springer
Mobile phones have become a very important tool for personal communication. It is therefore of great importance that forensic investigators have possibilities to extract evidence ...
ISI
2005
Springer
14 years 2 months ago
2005
Springer
Intelligence analysts are flooded with massive amounts of data from a multitude of sources and in many formats. From this raw data they attempt to gain insight that will provide de...
ISSADS
2005
Springer
14 years 2 months ago
2005
Springer
An intrusion detection system (IDS) usually has to analyse Giga-bytes of audit information. In the case of anomaly IDS, the information is used to build a user profile characteris...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes a tool for recombining the logical structure from an XML document with the typeset appearance of the corresponding PDF document. The tool uses the XML represe...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...