1329 search results - page 81 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
CONCURRENCY
2008
13 years 7 months ago
2008
Abstract. Database systems have been vital for all forms of data processing for a long time. In recent years, the amount of processed data has been growing dramatically, even in sm...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—In order to improve scalability and reduce maintenance overhead for structured Peer-to-Peer systems, researchers design optimal architectures with constant degree and lo...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract-- Performance analysis of Multiple-input Multipleoutput (MIMO) Orthogonal Frequency-Division Multiplexing (OFDM) systems with carrier frequency offset and channel estimati...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
DIMVA
2008
13 years 9 months ago
2008
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...