Sciweavers

2296 search results - page 158 / 460
» The Expressive Power of Synchronizations
Sort
View
CORR
2007
Springer
108views Education» more  CORR 2007»
15 years 6 months ago
Error Probability Analysis of Peaky Signaling over Fading Channels
Abstract— In this paper, the performance of signaling strategies with high peak-to-average power ratio is analyzed in both coherent and noncoherent fading channels Two recently p...
Mustafa Cenk Gursoy
COMGEO
1998
ACM
15 years 6 months ago
Variable resolution triangulations
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...
Enrico Puppo
BIRTHDAY
2010
Springer
15 years 3 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier
TCOM
2010
112views more  TCOM 2010»
15 years 1 months ago
Concise Derivation of Scattering Function from Channel Entropy Maximization
In order to provide a concise time-varying SISO channel model, the principle of maximum entropy is applied to scattering function derivation. The resulting model is driven by few p...
François-Xavier Socheleau, Christophe Laot,...
WOLLIC
2009
Springer
16 years 1 months ago
: An Action-Based Logic for Reasoning about Contracts
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
Cristian Prisacariu, Gerardo Schneider