Search Sciweavers | Sciweavers

3645 search results - page 12 / 729

» Implementing mapping composition

103

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

15 years 9 months ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

105

click to vote

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

15 years 9 months ago

Download www.cis.upenn.edu

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

126

click to vote

IESA
2007

109views Software Engineering» more IESA 2007»

Requirements for Implementing Business Process Models through Composition of Semantic Web Services

15 years 5 months ago

Download www.imweber.de

Ingo Weber

claim paper

Read More »

115

click to vote

DSL
1997

93views Programming Languages» more DSL 1997»

Code Composition as an Implementation Language for Compilers

15 years 5 months ago

Download www.usenix.org

James M. Stichnoth, Thomas R. Gross

claim paper

Read More »

138

click to vote

SCP
2011

212views Communications» more SCP 2011»

An open implementation for context-oriented layer composition in ContextJS

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers