31686 search results - page 5972 / 6338 » Resource typing in Guru |
174
click to vote
RAID
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
228
click to vote
RSFDGRC
2005
Springer
16 years 1 months ago
2005
Springer
The paper concerns failing queries in incomplete Distributed Autonomous Information Systems (DAIS) based on attributes which are hierarchical and which semantics at different site...
211
click to vote
RTA
2005
Springer
16 years 1 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
212
click to vote
SAGA
2005
Springer
16 years 1 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
198
click to vote
SPIN
2005
Springer
16 years 1 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...