2468 search results - page 275 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
231
click to vote
EICS
2011
ACM
14 years 7 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
128
click to vote
NSDI
2008
15 years 6 months ago
2008
Large-scale distributed denial of service (DoS) attacks are an unfortunate everyday reality on the Internet. They are simple to execute and with the growing prevalence and size of...
161
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The generalised linear model (GLM) is the standard approach in classical statistics for regression tasks where it is appropriate to measure the data misfit using a lik...
112
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
133
click to vote
WCE
2007
15 years 5 months ago
2007
— This paper proposes an age artificial immune system (AAIS), for optimal order pickings in an Automated Storage and Retrieval System (AS/RS) with multiple input/ output stations...