23413 search results - page 4488 / 4683 » or 2005 |
241
click to vote
IFIP
2005
Springer
16 years 21 days ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
211
click to vote
IFIP
2005
Springer
16 years 21 days ago
2005
Springer
Nearly all network applications rely on the global Internet routing infrastructure to compute routes and deliver packets. Unfortunately, false Internet routes can be maliciously in...
212
click to vote
IFL
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
193
click to vote
IICS
2005
Springer
16 years 21 days ago
2005
Springer
Internet, far from being a simple technology, is truly changing our way of life. Just as the invention of the alphabet, or the printing, Internet is a fundamental technology that w...
214
click to vote
ILP
2005
Springer
16 years 21 days ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...