Sciweavers

15974 search results - page 275 / 3195

» Object-Oriented Software Engineering

87

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

15 years 7 months ago

Bidomains and Full Abstraction for Countable Nondeterminism

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

104

FOSSACS
2006
Springer

105views Software Engineering» more FOSSACS 2006»

Dynamic Policy Discovery with Remote Attestation

15 years 7 months ago

Dynamic Policy Discovery with Remote Attestation

Download condor.depaul.edu

Corin Pitcher, James Riely

claim paper

Read More »

106

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Semantic Approach to Interpolation

15 years 7 months ago

A Semantic Approach to Interpolation

Download fm.cs.uiuc.edu

Andrei Popescu, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

99

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

15 years 7 months ago

Tree Automata Make Ordinal Theory Easy

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

103

Voted

FSTTCS
2006
Springer

85views Software Engineering» more FSTTCS 2006»

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

15 years 7 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 »

« Prev « First page 275 / 3195 Last » Next »