1329 search results - page 81 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
136
click to vote
CONCURRENCY
2008
15 years 6 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...
148
click to vote
INFOCOM
2008
IEEE
16 years 20 days 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...
168
click to vote
ICC
2007
IEEE
15 years 10 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...
248
click to vote
FASE
2004
Springer
15 years 10 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...
168
click to vote
DIMVA
2008
15 years 7 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...