Sciweavers

16790 search results - page 247 / 3358

» A Future for Software Engineering

25

FOSSACS
2006
Springer

105views Software Engineering» more FOSSACS 2006»

Dynamic Policy Discovery with Remote Attestation

14 years 2 months ago

Dynamic Policy Discovery with Remote Attestation

Download condor.depaul.edu

Corin Pitcher, James Riely

claim paper

Read More »

23

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Semantic Approach to Interpolation

14 years 2 months ago

A Semantic Approach to Interpolation

Download fm.cs.uiuc.edu

Andrei Popescu, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

21

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

14 years 2 months ago

Tree Automata Make Ordinal Theory Easy

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

24

FSTTCS
2006
Springer

85views Software Engineering» more FSTTCS 2006»

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

14 years 2 months ago

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

Download jgaa.info

Gruia Calinescu, Michael J. Pelsmajer

claim paper

Read More »

25

FSTTCS
2006
Springer

92views Software Engineering» more FSTTCS 2006»

Rational Behaviour and Strategy Construction in Infinite Multiplayer Games

14 years 2 months ago

Rational Behaviour and Strategy Construction in Infinite Multiplayer Games

Download www.logic.rwth-aachen.de

Michael Ummels

claim paper

Read More »

« Prev « First page 247 / 3358 Last » Next »