Sciweavers

15660 search results - page 166 / 3132
» The Unbalance of Set Systems
Sort
View
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
16 years 2 days ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
HOLOMAS
2003
Springer
15 years 11 months ago
The Link between Autonomy and Organisation in Multiagent Systems
Abstract. Market-based approaches have a long tradition in supporting of taskassignment multiagent systems. Such systems consist of customer agents with jobs to assign, and provide...
Michael Schillo, Klaus Fischer, Jörg H. Siekm...
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
15 years 11 months ago
A Formal Description of VHDL-AMS Analogue Systems
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
Tom J. Kazmierski
FSS
2008
88views more  FSS 2008»
15 years 6 months ago
Solution of a system of linear equations with fuzzy numbers
The paper deals with a solution of a fuzzy interval system of linear equations, i.e. a system in which fuzzy intervals (numbers) appear instead of crisp numbers. We obtain general...
Rostislav Horcík
ETT
2002
94views Education» more  ETT 2002»
15 years 6 months ago
Transmit/Receive-antenna diversity techniques for OFDM systems
In this paper, we investigate different antenna diversity concepts, which can be easily applied to orthogonal frequency division multiplexing (OFDM) systems. The focus is on standa...
Armin Dammann, Stefan Kaiser