2419 search results - page 452 / 484 » A Formal Approach to Software Testing |
ISPEC
2005
Springer
14 years 1 months ago
2005
Springer
We present an architecture for detecting “zero-day” worms and viruses in incoming email. Our main idea is to intercept every incoming message, prescan it for potentially danger...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
ICT
2004
Springer
14 years 1 months ago
2004
Springer
- Application level active networks provide a way of transforming the current network infrastructure into one where new services and protocols are more easily adopted and utilized ...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Modern applications for mobile computing require high performance architectures. On the other hand, there are restrictions such as storage or power consumption. The use of recon...
ISORC
2003
IEEE
14 years 1 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...