Search Sciweavers | Sciweavers

1665 search results - page 47 / 333

» Monitoring Timing Constraints in Distributed Real-Time Syste...

113

click to vote

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

15 years 2 months ago

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

119

Voted

ANSS
1996
IEEE

120views Modeling and Simulation» more ANSS 1996»

From Multibody Systems Modeling to Distributed Real-Time Simulation

15 years 8 months ago

Download www.chuandong.com

Rémi Cozot

claim paper

Read More »

click to vote

VR
1993
IEEE

111views Virtual Reality» more VR 1993»

Real Time Simulation of Stiff Dynamic Systems via Distributed Memory Parallel Processors

15 years 7 months ago

Download www.mech.northwestern.edu

Michael C. Stanley, J. Edward Colgate

claim paper

Read More »

127

Voted

BROADNETS
2004
IEEE

127views Computer Networks» more BROADNETS 2004»

Distributed Hybrid Agent Based Intrusion Detection and Real Time Response System

15 years 7 months ago

Download www.itsec.gov.cn

Vaidehi Kasarekar, Byrav Ramamurthy

claim paper

Read More »

122

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers