3018 search results - page 311 / 604 » Replicating for Performance: Case Studies |
167
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
197
click to vote
ICNS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
159
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
136
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In this paper, we study cooperative control algorithms using pairwise interactions, for the purpose of controlling flocks of unmanned vehicles. An important issue is t...
151
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a methodology to analyze Multiple Classifiers Systems (MCS) performance, using the diversity concept. The goal is to define an alternative approach to the convention...