Sciweavers

1548 search results - page 161 / 310
» Integration of Simulation with Enterprise Models
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
TOSN
2011
116views more  TOSN 2011»
14 years 11 months ago
A model framework for greedy routing in a sensor network with a stochastic power scheme
A stochastic model is formulated and analyzed to study the advancements of messages under greedy routing in a sensor network with a power-saving scheme. The aim of this model is g...
Holger Paul Keeler, Peter G. Taylor
WCE
2007
15 years 5 months ago
A mathematical study of the pantograph/catenary dynamic interaction on transition spans
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
Jesús Benet, Angelines Alberto, Enrique Ari...
FLAIRS
2004
15 years 5 months ago
Cellular Automata Approach to Aircraft Corrosion Pit Growth
Corrosion is one of the degrading mechanisms that greatly affect the structural integrity of aerospace components. Corrosion begins with small imperfections in the given material ...
Ramana Pidaparti, Mathew J. Palakal, Long Fong
CGF
2011
14 years 11 months ago
Motion Blur Rendering: State of the Art
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
Fernando Navarro, Francisco J. Serón, Diego...