Sciweavers

1701 search results - page 156 / 341
» Bandwidth Management of WiMAX Systems and Performance Modeli...
Sort
View
APSEC
1998
IEEE
15 years 2 months ago
Verifying Model Oriented Specifications through Animation
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
Edmund Kazmierczak, Michael Winikoff, Philip W. Da...
CORR
2010
Springer
319views Education» more  CORR 2010»
14 years 10 months ago
Investigating Output Accuracy for a Discrete Event Simulation Model and an Agent Based Simulation Model
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out ...
Mazlina Abdul Majid, Uwe Aickelin, Peer-Olaf Siebe...
CCGRID
2007
IEEE
15 years 4 months ago
Exploiting Lustre File Joining for Effective Collective IO
Lustre is a parallel file system that presents high aggregated IO bandwidth by striping file extents across many storage devices. However, our experiments indicate excessively wid...
Weikuan Yu, Jeffrey S. Vetter, Shane Canon, Song J...
WAC
2004
Springer
122views Communications» more  WAC 2004»
15 years 3 months ago
Dynamic Self-management of Autonomic Systems: The Reputation, Quality and Credibility (RQC) Scheme
In this paper, we present a feedback-based system for managing trust and detecting malicious behavior in autonomically behaving networks. Like other distributed trust management sy...
Anurag Garg, Roberto Battiti, Gianni Costanzi
AINA
2005
IEEE
15 years 3 months ago
An Architecture for Automated QoS Resolution in Wireless Systems
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
Behzad Bordbar, Rachid Anane