Sciweavers

627 search results - page 64 / 126
» Branched Polyhedral Systems
Sort
View
ICC
2007
IEEE
143views Communications» more  ICC 2007»
14 years 3 months ago
The Impact of the I/Q Mismatching Errors on the BER Performance of OFDM Communication Systems
Orthogonal frequency division multiplexing (OFDM) signals are very sensitive to radio frequency (RF) impairments. One of the major impairments is the mismatching errors between the...
Nguyen Thanh Hieu, Heung-Gyoon Ryu, Cheng-Xiang Wa...
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
14 years 1 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...
SIGDOC
1999
ACM
14 years 1 months ago
Role-based access control in online authoring and publishing systems vs. document hierarchy
How to structure diverse (documentation) information sources of an enterprise and how to arrange a workflow with access control are two important issues for online authoring and p...
Zhongdong Zhang, Ernst Georg Haffner, Andreas Heue...
CAV
2004
Springer
130views Hardware» more  CAV 2004»
14 years 14 days ago
Global Model-Checking of Infinite-State Systems
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
Nir Piterman, Moshe Y. Vardi
IC
2004
13 years 10 months ago
IskaWeb: A Web-Based Information System for the Classification of Industrial Wastes
Industrial wastes must be classified at least two times on the way from the owner of the waste to the waste disposal facility in order to ensure that waste handling is in conformi...
J. O. Dada, Hans-Dieter Kochs, Jörg Petersen