Search Sciweavers | Sciweavers

3458 search results - page 8 / 692

» Abstracting Control

139

click to vote

AC
2000
Springer

101views Software Engineering» more AC 2000»

Abstract Machines, Control, and Sequents

15 years 11 months ago

Download www.pps.jussieu.fr

Pierre-Louis Curien

claim paper

Read More »

136

Voted

STACS
1995
Springer

110views Theoretical Computer Science» more STACS 1995»

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

15 years 10 months ago

Download www-verimag.imag.fr

Oded Maler, Amir Pnueli, Joseph Sifakis

claim paper

Read More »

144

click to vote

ISSRE
2007
IEEE

67views Software Engineering» more ISSRE 2007»

Requirement Error Abstraction and Classification: A Control Group Replicated Study

15 years 8 months ago

Download cs.ua.edu

Gursimran Singh Walia, Jeffrey C. Carver, Thomas P...

claim paper

Read More »

129

click to vote

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06031 Abstracts Collection -- Organic Computing -- Controlled Emergence

15 years 8 months ago

Download drops.dagstuhl.de

Kirstie L. Bellman, Peter Hofmann, Christian M&uum...

claim paper

Read More »

129

click to vote

LFP
1990

98views more LFP 1990»

Abstracting Control

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers