Search Sciweavers | Sciweavers

14360 search results - page 145 / 2872

» Time Modeling in MARTE

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 4 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

click to vote

AMFG
2005
IEEE

138views Biometrics» more AMFG 2005»

Real-Time Modeling of Face Deformation for 3D Head Pose Estimation

14 years 3 months ago

Download www.hci.iis.u-tokyo.ac.jp

Kenji Oka, Yoichi Sato

claim paper

Read More »

click to vote

ISORC
2005
IEEE

197views Distributed And Parallel Com...» more ISORC 2005»

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software

14 years 3 months ago

Download www.cs.virginia.edu

As complexity of real-time embedded software grows, it is desirable to use formal veriﬁcation techniques to achieve a high level of assurance. We discuss application of model-ch...

Zonghua Gu, Kang G. Shin

claim paper

Read More »

click to vote

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

14 years 3 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

click to vote

EGC
2005
Springer

92views Distributed And Parallel Com...» more EGC 2005»

Modeling Execution Time of Selected Computation and Communication Kernels on Grids

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers