Sciweavers

1424 search results - page 205 / 285
» Modeling A Control System For Organizational Processes
Sort
View
116
Voted
ENTCS
2007
117views more  ENTCS 2007»
15 years 3 months ago
Relating Hybrid Chi to Other Formalisms
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
ICLP
2010
Springer
15 years 7 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez
TWC
2010
14 years 10 months ago
Efficient Dynamic Spectrum Sharing in Cognitive Radio Networks: Centralized Dynamic Spectrum Leasing (C-DSL)
In this paper, we propose the concept of centralized dynamic spectrum leasing (C-DSL), in which multiple primary users belonging to the same primary system participate in the spect...
K. Hakim, Sudharman K. Jayaweera, Georges El-Howay...
WSC
2004
15 years 5 months ago
Building Credible Input Models
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...
Lawrence Leemis
WSC
1998
15 years 5 months ago
Input Modeling
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...
Lawrence Leemis