Sciweavers

13717 search results - page 103 / 2744

» Control Systems

74

HASE
2007
IEEE

133views Control Systems» more HASE 2007»

Model-Checker-Based Testing of LTL Specifications

15 years 9 months ago

Model-Checker-Based Testing of LTL Specifications

Download www.cs.utep.edu

Luis García, Steve Roach

claim paper

Read More »

90

RTSS
2007
IEEE

104views Control Systems» more RTSS 2007»

Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines

15 years 9 months ago

Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines

Download kam.mff.cuni.cz

Marek Chrobak, Mathilde Hurand, Jiri Sgall

claim paper

Read More »

86

SSS
2007
Springer

118views Control Systems» more SSS 2007»

Stabilizing Flocking Via Leader Election in Robot Networks

15 years 9 months ago

Stabilizing Flocking Via Leader Election in Robot Networks

Download www.cs.bgu.ac.il

Davide Canepa, Maria Gradinariu Potop-Butucaru

claim paper

Read More »

100

RTSS
2006
IEEE

81views Control Systems» more RTSS 2006»

User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection

15 years 9 months ago

User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection

Download ertos.nicta.com.au

Sergio Ruocco

claim paper

Read More »

109

SACMAT
2005
ACM

103views Control Systems» more SACMAT 2005»

Integrity constraints in trust management

15 years 8 months ago

Integrity constraints in trust management

Download www.cs.utsa.edu

Sandro Etalle, William H. Winsborough

claim paper

Read More »

« Prev « First page 103 / 2744 Last » Next »