Search Sciweavers | Sciweavers

7961 search results - page 19 / 1593

» Input-Output Model Programs

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

14 years 29 days ago

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

click to vote

ESOP
2003
Springer

76views Programming Languages» more ESOP 2003»

Flexible Models for Dynamic Linking

14 years 19 days ago

Download slurp.doc.ic.ac.uk

Sophia Drossopoulou, Giovanni Lagorio, Susan Eisen...

claim paper

Read More »

click to vote

GPCE
2009
Springer

120views Programming Languages» more GPCE 2009»

A model of refactoring physically and virtually separated features

14 years 1 days ago

Download wwwiti.cs.uni-magdeburg.de

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

claim paper

Read More »

click to vote

IFIP
2009
Springer

98views Programming Languages» more IFIP 2009»

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

14 years 11 hour ago

Download www.uninova.pt

Simon Samwel Msanjila, Hamideh Afsarmanesh

claim paper

Read More »

click to vote

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers