Sciweavers

2067 search results - page 101 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
TAOSD
2010
14 years 8 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo...
AIPS
2008
15 years 4 days ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
TON
2010
188views more  TON 2010»
14 years 4 months ago
Self-Chord: A Bio-Inspired P2P Framework for Self-Organizing Distributed Systems
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
Agostino Forestiero, Emilio Leonardi, Carlo Mastro...
WSC
2004
14 years 11 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
WCNC
2010
IEEE
15 years 1 months ago
Modeling IEEE 802.11 DCF System Dynamics
—Experiments show that IEEE 802.11 DCF system exhibits unstable behavior in the congestion onset load range where the system starts to become saturated. This phenomenon is not we...
Zhenzhen Cao, Ren Ping Liu, Xun Yang, Yang Xiao