2880 search results - page 563 / 576 » Repositories for Software Reuse: The Software Information Ba... |
CCS
2003
ACM
14 years 1 months ago
2003
ACM
After the Code Red incident in 2001 and the SQL Slammer in January 2003, it is clear that a simple self-propagating worm can quickly spread across the Internet, infects most vulne...
TES
2001
Springer
14 years 1 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
POPL
1999
ACM
14 years 27 days ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
CADE
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
ICDCS
1997
IEEE
14 years 23 days ago
1997
IEEE
Load balancing is often used to ensure that nodes in a distributed systems are equally loaded. In this paper, we show that for real-time systems, load balancing is not desirable. ...