Sciweavers

3310 search results - page 386 / 662
» Aspect-aware operating system development
Sort
View
WSC
2000
15 years 7 months ago
Simulation modeling and analysis of a new international terminal
This paper describes a recently completed project involving the development of simulation models for the new international terminal at Istanbul Ataturk Airport, Istanbul, Turkey. ...
Ali S. Kiran, Tekin Cetinkaya, Serafettin Og
WSC
2000
15 years 7 months ago
Teaching simulation using case studies
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...
Charles R. Standridge
WCE
2007
15 years 7 months ago
Surface Classification from Aircraft Icing Droplet Splash Images
— The build up of water ice on aircraft flight surfaces poses a significant safety risk. As a result, much effort has gone into studying this problem in order to understand how i...
Xueqing Zhang, Stuart Barnes, David W. Hammond
APAL
2008
84views more  APAL 2008»
15 years 6 months ago
Resolution over linear equations and multilinear proofs
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
Ran Raz, Iddo Tzameret
FUIN
2008
93views more  FUIN 2008»
15 years 6 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...