2468 search results - page 154 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
156
Voted
JSS
2010
14 years 10 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
205
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper is devoted to the study of the performance of the linear minimum mean-square error (LMMSE) receiver for (receive) correlated multiple-input multiple-output (MIMO) system...
152
Voted
HPDC
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present a model for dynamically scheduling HTTP requests across clusters of servers, optimizing the use of client resources as well as the scattered server nodes....
147
Voted
ISCAPDCS
2007
15 years 5 months ago
2007
Current research in autonomic computing suffers from the lack of a common definition of the basic autonomic entities. Defining and developing the basic autonomic entities and maki...
127
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...