Sciweavers

4511 search results - page 543 / 903
» Observation Based System Security
Sort
View
CALCO
2005
Springer
97views Mathematics» more  CALCO 2005»
15 years 10 months ago
Modelling Fusion Calculus using HD-Automata
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, ...
IPTPS
2004
Springer
15 years 10 months ago
When Multi-hop Peer-to-Peer Lookup Matters
Distributed hash tables have been around for a long time [5, 7]. A number of recent projects propose peerto-peer DHTs, based on multi-hop lookup optimizations. Some of these syste...
Rodrigo Rodrigues, Charles Blake
124
Voted
DSN
2002
IEEE
15 years 9 months ago
Evaluation of the Maximum Level Reached by a Queue Over a Finite Period
This paper deals with the performance analysis of a system modeled by a queue. If we are interested in occupation problems and if we look at the transient phase, then it makes sen...
Gerardo Rubino
ICAIL
2007
ACM
15 years 8 months ago
AVERs: an argument visualization tool for representing stories about evidence
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
Susan W. van den Braak, Gerard Vreeswijk, Henry Pr...
TREC
2007
15 years 6 months ago
Enterprise Search: Identifying Relevant Sentences and Using Them for Query Expansion
In this paper, we discuss the experiments conducted in context of Document Search task of 2007 Enterprise Search track. Our method is based on selecting sentences from the given r...
Maheedhar Kolla, Olga Vechtomova