7943 search results - page 149 / 1589 » A calculus for costed computations |
117
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Intrusion Detection is an invaluable part of computer networks defense. An important consideration is the fact that raising false alarms carries a significantly lower cost than not...
103
click to vote
RTA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
TASE
2007
IEEE
15 years 5 months ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
P2P
2006
IEEE
15 years 5 months ago
2006
IEEE
Flat DHT architectures have been the main focus of the research on DHT design so far. However, there have been also a number of works proposing hierarchical DHT organizations and ...
CIMCA
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper aims at describing Carnival, a movie on demand system that provides Movie on demand service by implementing low cost storage architecture for movie storage server. Carn...