Search Sciweavers | Sciweavers

11436 search results - page 168 / 2288

» Modeling Real Reasoning

click to vote

GW
1997
Springer

84views Biometrics» more GW 1997»

High Performance Real-Time Gesture Recognition Using Hidden Markov Models

15 years 7 months ago

Download www.mmk.e-technik.tu-muenchen.de

Gerhard Rigoll, Andreas Kosmala, Stefan Eickeler

claim paper

Read More »

104

click to vote

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

15 years 7 months ago

Download cc.ee.ntu.edu.tw

Jin Yang, Aloysius K. Mok, Farn Wang

claim paper

Read More »

116

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 6 months ago

Download aswsd.ucsd.edu

Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...

claim paper

Read More »

click to vote

DATE
2004
IEEE

133views Hardware» more DATE 2004»

Model-Based Specification and Execution of Embedded Real-Time Systems

15 years 6 months ago

Download jerry.c-lab.de

Tim Schattkowsky, Wolfgang Müller 0003

claim paper

Read More »

116

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers