Sciweavers

154 search results - page 9 / 31
» Electromagnetic Analysis: Concrete Results
Sort
View
FMICS
2007
Springer
14 years 1 months ago
Analysis of a Session-Layer Protocol in mCRL2
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren&...
DSOM
2007
Springer
13 years 11 months ago
Bottleneck Detection Using Statistical Intervention Analysis
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...
Simon Malkowski, Markus Hedwig, Jason Parekh, Calt...
KI
2007
Springer
14 years 1 months ago
Relational Exploration - Reconciling Plato and Aristotle
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
Sebastian Rudolph
ECCV
2010
Springer
14 years 29 days ago
Gaussian-like Spatial Priors for Articulated Tracking
We present an analysis of the spatial covariance structure of an articulated motion prior in which joint angles have a known covariance structure. From this, a well-known, but ofte...
MLCW
2005
Springer
14 years 1 months ago
A Lexical Alignment Model for Probabilistic Textual Entailment
This paper describes the Bar-Ilan system participating in the Recognising Textual Entailment Challenge. The paper proposes first a general probabilistic setting that formalizes th...
Oren Glickman, Ido Dagan, Moshe Koppel