Sciweavers

22698 search results - page 391 / 4540

» Modeling in Software Engineering

132

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

15 years 11 months ago

Bidomains and Full Abstraction for Countable Nondeterminism

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

148

Voted

FOSSACS
2006
Springer

105views Software Engineering» more FOSSACS 2006»

Dynamic Policy Discovery with Remote Attestation

15 years 11 months ago

Dynamic Policy Discovery with Remote Attestation

Download condor.depaul.edu

Corin Pitcher, James Riely

claim paper

Read More »

147

Voted

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Semantic Approach to Interpolation

15 years 11 months ago

A Semantic Approach to Interpolation

Download fm.cs.uiuc.edu

Andrei Popescu, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

137

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

15 years 11 months ago

Tree Automata Make Ordinal Theory Easy

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

158

FSTTCS
2006
Springer

85views Software Engineering» more FSTTCS 2006»

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

15 years 11 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 391 / 4540 Last » Next »