Search Sciweavers | Sciweavers

4666 search results - page 78 / 934

» Equations on Timed Languages

116

click to vote

MODELS
2009
Springer

128views Natural Language Processing» more MODELS 2009»

Incremental Model Synchronization for Efficient Run-Time Monitoring

15 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...

claim paper

Read More »

106

click to vote

ICALP
2010
Springer

119views Programming Languages» more ICALP 2010»

Scheduling Periodic Tasks in a Hard Real-Time Environment

15 years 10 months ago

Download www.math.tu-berlin.de

Friedrich Eisenbrand, Nicolai Hähnle, Martin ...

claim paper

Read More »

124

click to vote

UML
1999
Springer

127views Natural Language Processing» more UML 1999»

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study

15 years 9 months ago

Download www.csm.ornl.gov

Thomas Firley, Michaela Huhn, Karsten Diethers, Th...

claim paper

Read More »

156

click to vote

VL
1996
IEEE

207views Visual Languages» more VL 1996»

Integrating a Constraint Solver into a Real-Time Animation Environment

15 years 9 months ago

Download jerry.c-lab.de

Peer Griebel, Georg Lehrenfeld, Wolfgang Müll...

claim paper

Read More »

135

click to vote

ICALP
1995
Springer

86views Programming Languages» more ICALP 1995»

Automatic Synthesis of Real Time Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers