1179 search results - page 90 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
APN
2003
Springer
14 years 3 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
WSC
2004
13 years 11 months ago
2004
This paper describes a simulation system that monitors operations on a production floor, periodically creating a model of those operations, and running a simulation that predicts ...
IJAMC
2010
13 years 8 months ago
2010
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...