Sciweavers

4890 search results - page 507 / 978
» From system specifications to component behavioral models
Sort
View
AIIDE
2007
15 years 9 months ago
Navigation Challenges in Massively Destructible Worlds
The creation of life-like believable characters is emerging as the central focus of next-generation game development and is viewed as critical to obtaining true mass-market appeal...
Paul Kruszewski
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 7 months ago
Silicon on Nothing Mems Electromechanical Resonator
The very significant growth of the wireless communication industry has spawned tremendous interest in the development of high performances radio frequencies (RF) components. Micro...
Cedric Durand, Fabrice Casset, Pacal Ancey, Fabien...
CCECE
2006
IEEE
16 years 1 months ago
Analytical Modeling of Interference in Cellular Fixed Relay Networks
We develop a simple yet accurate analysis of the interference distribution in a cellular system, with particular emphasis on a two-hop fixed relay network, though the analysis may...
Sebastian S. Szyszkowicz, Halim Yanikomeroglu, Ema...
TOPNOC
2008
15 years 7 months ago
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...
HCI
2009
15 years 5 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...