Sciweavers

2432 search results - page 309 / 487
» High-level approach to modeling of observed system behavior
Sort
View
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 10 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
BMCBI
2010
176views more  BMCBI 2010»
15 years 6 months ago
Reverse engineering gene regulatory network from microarray data using linear time-variant model
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
Mitra Kabir, Nasimul Noman, Hitoshi Iba
MOBIHOC
2008
ACM
16 years 6 months ago
On the need for bidirectional coupling of road traffic microsimulation and network simulation
Simulation of network protocol behavior in Vehicular Ad Hoc Network (VANET) scenarios is strongly demanded for evaluating the applicability of developed network protocols. In this...
Christoph Sommer, Zheng Yao, Reinhard German, Falk...
ACII
2007
Springer
15 years 10 months ago
Recognizing Affective Dimensions from Body Posture
The recognition of affective human communication may be used to provide developers with a rich source of information for creating systems that are capable of interacting well with ...
Andrea Kleinsmith, Nadia Bianchi-Berthouze
ACMACE
2009
ACM
15 years 9 months ago
Enhancing a motion capture interface by introducing context management
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
Francois Picard, Pascal Estraillier