488 search results - page 40 / 98 » Weighted Logics for Traces |
120
click to vote
BROADNETS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— A number of events such as hurricanes, earthquakes, power outages can cause large-scale failures in the Internet. These in turn cause anomalies in the interdomain routi...
102
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
— In opportunistic networks, end-to-end paths between two communicating nodes are rarely available. In such situations, the nodes might still copy and forward messages to nodes t...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original...
CLEF
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
SIGSOFT
2005
ACM
16 years 16 days ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...