Sciweavers

29143 search results - page 335 / 5829
» A Sortation System Model
Sort
View
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
15 years 12 months ago
A probabilistic loading-dependent model of cascading failure and possible implications for blackouts
Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...
Ian Dobson, Benjamin A. Carreras, David E. Newman
ICICS
2003
Springer
15 years 12 months ago
A Compound Intrusion Detection Model
Intrusion detection systems (IDSs) have become a critical part of security systems. The goal of an intrusion detection system is to identify intrusion effectively and accurately. ...
Jianhua Sun, Hai Jin, Hao Chen, Qian Zhang, Zongfe...
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
15 years 11 months ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
SBP
2012
Springer
14 years 2 months ago
The Impact of Network Structure on the Perturbation Dynamics of a Multi-agent Economic Model
Complex adaptive systems (CAS) modeling has become a common tool to study the behavioral dynamics of agents in a broad range of disciplines from ecology to economics. Many modelers...
Marshall A. Kuypers, Walter E. Beyeler, Robert J. ...
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 11 months ago
Regulation and tracking of two-level quantum systems using measurement feedback
Abstract— Two-level quantum systems are important quantum models that are useful for the conceptual development and construction of quantum technologies. In this paper we provide...
Masahiro Yanagisawa, Alexander N. Korotkov, Matthe...