Sciweavers

29143 search results - page 102 / 5829
» A Sortation System Model
Sort
View
ATAL
2009
Springer
14 years 4 months ago
Abstraction in model checking multi-agent systems
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco ...
ICC
2007
IEEE
101views Communications» more  ICC 2007»
14 years 4 months ago
Collision Model for the Bit Error Rate Analysis of Multicell Multiantenna OFDMA Systems
Abstract— A multicell system which supports multiple antennas and OFDMA modulation/access is considered in this paper as conforming IEEE 802.16-2005 standard. Focusing on the upl...
Roberto Bosisio, Umberto Spagnolini
ECAI
2004
Springer
14 years 3 months ago
FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent Systems
Trust and reputation are central to effective interactions in open multi-agent systems in which agents, that are owned by a variety of stakeholders, can enter and leave the system ...
Trung Dong Huynh, Nicholas R. Jennings, Nigel R. S...
HICSS
2002
IEEE
179views Biometrics» more  HICSS 2002»
14 years 3 months ago
Combined Modeling with Multi-agent Systems and Simulation: Its Application to Harbor Supply Chain Management
This paper presents a method for modeling the dynamic behavior of harbor supply chains and evaluating strategic and operational policies of the proposed harbor supply chain by app...
Dong Won Yi, Soung Hie Kim, Nak Hyun Kim
CAV
2009
Springer
116views Hardware» more  CAV 2009»
14 years 2 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...