Sciweavers

13489 search results - page 401 / 2698
» Self-migration of operating systems
Sort
View
WSC
2004
15 years 9 months ago
Airport Terminal-Approach Safety and Capacity Analysis Using an Agent-Based Model
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...
Yue Xie, John Shortle, George Donohue
WSC
2000
15 years 9 months ago
Using simulation for manufacturing process reengineering: a practical case study
This paper presents a simulation study carried out to solve a problem of manufacturing process reengineering. The specific company in which the study took place is a medium size m...
Lisete Silva, Ana Luisa Ramos, Pedro M. Vilarinho
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 5 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
CCR
2010
196views more  CCR 2010»
15 years 5 months ago
OFDMA in the field: current and future challenges
OFDMA will be the predominant technology for the air interface of broadband mobile wireless systems for the next decades. In recent years, OFDMA-based networks based on IEEE 802.1...
Andreas Maeder, Nader Zein
IEEEVAST
2010
15 years 2 months ago
DimStiller: Workflows for dimensional analysis and reduction
DimStiller is a system for dimensionality reduction and analysis. It frames the task of understanding and transforming input dimensions as a series of analysis steps where users t...
Stephen Ingram, Tamara Munzner, Veronika Irvine, M...