Search Sciweavers | Sciweavers

9210 search results - page 139 / 1842

» Analyzing Real-Time Systems

click to vote

BROADNETS
2004
IEEE

127views Computer Networks» more BROADNETS 2004»

Distributed Hybrid Agent Based Intrusion Detection and Real Time Response System

14 years 27 days ago

Download www.itsec.gov.cn

Vaidehi Kasarekar, Byrav Ramamurthy

claim paper

Read More »

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

14 years 27 days 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

14 years 27 days ago

Download jerry.c-lab.de

Tim Schattkowsky, Wolfgang Müller 0003

claim paper

Read More »

click to vote

ENC
2004
IEEE

108views Theoretical Computer Science» more ENC 2004»

Real-Time Embedded Vision System Development Using AIBO Vision Workshop 2

14 years 26 days ago

Download www.griffith.edu.au

Nathan Lovell

claim paper

Read More »

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

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

14 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers