Search Sciweavers | Sciweavers

5630 search results - page 22 / 1126

» Computability in Specification

112

click to vote

MIDDLEWARE
2005
Springer

74views Distributed And Parallel Com...» more MIDDLEWARE 2005»

Overlay Networks - Implementation by Specification

15 years 11 months ago

Download www.dvs.tu-darmstadt.de

Stefan Behnel, Alejandro P. Buchmann

claim paper

Read More »

129

click to vote

CONCUR
2005
Springer

98views Distributed And Parallel Com...» more CONCUR 2005»

Synthesis of Distributed Systems from Knowledge-Based Specifications

15 years 11 months ago

Download www.cse.unsw.edu.au

Ron van der Meyden, Thomas Wilke

claim paper

Read More »

131

click to vote

ASM
2004
ASM

91views Computational Biology» more ASM 2004»

Specification and Validation of the Business Process Execution Language for Web Services

15 years 11 months ago

Download www.cs.sfu.ca

Roozbeh Farahbod, Uwe Glässer, Mona Vajiholla...

claim paper

Read More »

125

click to vote

ASM
2004
ASM

75views Computational Biology» more ASM 2004»

Specification and Implementation Problems for C#

15 years 11 months ago

Download www.iis.nsk.su

Nicu G. Fruja

claim paper

Read More »

124

click to vote

DSOM
2004
Springer

79views Computer Networks» more DSOM 2004»

Requirements on Quality Specification Posed by Service Orientation

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers