Sciweavers

5900 search results - page 145 / 1180
» Dependable Systems
Sort
View
WSC
2008
14 years 16 days ago
Mathematical programming representations for state-dependent queues
Discrete-event dynamic systems with feedback, where the behavior of the system depends on the system state, are difficult to model due to the uncertainties and dependencies of sys...
Wai Kin Chan, Lee W. Schruben
PRDC
2000
IEEE
14 years 2 months ago
Enforcing synchronous system properties on top of timed systems
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
Christof Fetzer
CADE
2001
Springer
14 years 10 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
ICC
2007
IEEE
105views Communications» more  ICC 2007»
14 years 4 months ago
Intersymbol Interference Due to the Atmospheric Turbulence for Free-Space Optical Communication System
—Weak atmospheric turbulence causes pulse broadening of an optical signal. In this article, we drive the pulse broadening as a function of turbulence strength by temporal moments...
Mostofa K. Howlader, Jinho Jung
EPIA
1999
Springer
14 years 2 months ago
Analytic Modal Revision for Multi-agent Systems
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
Paolo Di Giusto, Guido Governatori