Search Sciweavers | Sciweavers

10072 search results - page 166 / 2015

» Composition of Model Programs

134

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 12 months ago

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

137

click to vote

ESOP
2003
Springer

76views Programming Languages» more ESOP 2003»

Flexible Models for Dynamic Linking

15 years 11 months ago

Download slurp.doc.ic.ac.uk

Sophia Drossopoulou, Giovanni Lagorio, Susan Eisen...

claim paper

Read More »

134

click to vote

GPCE
2009
Springer

120views Programming Languages» more GPCE 2009»

A model of refactoring physically and virtually separated features

15 years 11 months ago

Download wwwiti.cs.uni-magdeburg.de

Christian Kästner, Sven Apel, Martin Kuhleman...

claim paper

Read More »

116

Voted

IFIP
2009
Springer

98views Programming Languages» more IFIP 2009»

On Hard and Soft Models to Analyze Trust Life Cycle for Mediating Collaboration

15 years 11 months ago

Download www.uninova.pt

Simon Samwel Msanjila, Hamideh Afsarmanesh

claim paper

Read More »

158

Voted

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers