Search Sciweavers | Sciweavers

6308 search results - page 31 / 1262

» Modeling Urgency in Timed Systems

click to vote

QOSA
2009
Springer

96views Software Engineering» more QOSA 2009»

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems

15 years 4 months ago

Download www.dre.vanderbilt.edu

Amogh Kavimandan, Aniruddha S. Gokhale

claim paper

Read More »

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 3 months ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 3 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

ICRA
1999
IEEE

118views Robotics» more ICRA 1999»

Adaptive Control of Time-Varying Mechanical Systems: Modeling, Controller Design and Experiments

15 years 2 months ago

Download pagilla.ceat.okstate.edu

Prabhakar R. Pagilla, Kiu Ling Pau, Biao Yu

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers