Sciweavers

351 search results - page 27 / 71
» Properties of Behavioural Model Merging
Sort
View
RTS
2010
90views more  RTS 2010»
15 years 2 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
CEC
2003
IEEE
15 years 7 months ago
Dynamics of gene expression in an artificial genome
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...
Kai Willadsen, Janet Wiles
ICIP
2005
IEEE
16 years 5 months ago
Analysis of distortion due to packet loss in streaming video transmission over wireless communication links
In this paper, we provide an accurate and fully analytical model for the distortion due to lost frames in wireless video transmission. Our analysis combines the properties of the ...
Ruly Lai-U Choi, Michel T. Ivrlac, Eckehard G. Ste...
SIGGRAPH
1997
ACM
15 years 7 months ago
Object shape and reflectance modeling from observation
An object model for computer graphics applications should contain two aspects of information: shape and reflectance properties of the object. A number of techniques have been deve...
Yoichi Sato, Mark D. Wheeler, Katsushi Ikeuchi
ENTCS
2007
101views more  ENTCS 2007»
15 years 3 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...