Sciweavers

6514 search results - page 92 / 1303

» Low-Knowledge Algorithm Control

89

ESA
2009
Springer

81views Algorithms» more ESA 2009»

Wireless Scheduling with Power Control

15 years 11 months ago

Wireless Scheduling with Power Control

Download www.ru.is

Magnús M. Halldórsson

claim paper

Read More »

107

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

15 years 10 months ago

Static vs Dynamic Typing for Access Control in Pi-Calculus

Download www.dsi.unive.it

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

claim paper

Read More »

106

TACAS
2004
Springer

85views Algorithms» more TACAS 2004»

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

15 years 9 months ago

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

Download www.info.ucl.ac.be

A. E. Lindsey, Charles Pecheur

claim paper

Read More »

91

WADS
2001
Springer

86views Algorithms» more WADS 2001»

Admission Control to Minimize Rejections

15 years 8 months ago

Admission Control to Minimize Rejections

Download www.internetmathematics.org

Avrim Blum, Adam Kalai, Jon M. Kleinberg

claim paper

Read More »

129

WDAG
1999
Springer

72views Algorithms» more WDAG 1999»

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

15 years 8 months ago

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

Download users.ece.utexas.edu

Ashis Tarafdar, Vijay K. Garg

claim paper

Read More »

« Prev « First page 92 / 1303 Last » Next »