Sciweavers

107 search results - page 6 / 22
» Predicting Events for the Simulation of Hybrid Systems
Sort
View
MUE
2007
IEEE
107views Multimedia» more  MUE 2007»
14 years 1 months ago
A Predictive Location Based Relaying scheme for hybrid Cellular and Ad-hoc Systems
We propose a predictive location based relaying for hybrid cellular and ad-hoc systems that can provide interference minimization to uplink transmission. In the case of dense netw...
Tae Sung Kim, Kang Jin Yoon, Young Yong Kim
ACG
2006
Springer
14 years 1 months ago
An Event-Based Pool Physics Simulator
A method to simulate the physics of the game of pool is presented. The method is based upon a parametrization of ball motion which allows the time of occurrence of events, such as...
Will Leckie, Michael A. Greenspan
FORMATS
2003
Springer
14 years 18 days ago
Formal Semantics of Hybrid Chi
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man...
EPK
2006
114views Management» more  EPK 2006»
13 years 8 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
ATAL
2008
Springer
13 years 9 months ago
A multi-agent simulation system for prediction and scheduling of aero engine overhaul
The Aero Repair and Overhaul industry is facing an increasing challenge of prediction and scheduling of engine overhauls to remain competitive in a complex business arena. An appr...
Armin Stranjak, Partha Sarathi Dutta, Mark Ebden, ...