Search Sciweavers | Sciweavers

5630 search results - page 22 / 1126

» Computability in Specification

click to vote

MIDDLEWARE
2005
Springer

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

Overlay Networks - Implementation by Specification

14 years 3 months ago

Download www.dvs.tu-darmstadt.de

Stefan Behnel, Alejandro P. Buchmann

claim paper

Read More »

click to vote

CONCUR
2005
Springer

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

Synthesis of Distributed Systems from Knowledge-Based Specifications

14 years 3 months ago

Download www.cse.unsw.edu.au

Ron van der Meyden, Thomas Wilke

claim paper

Read More »

click to vote

ASM
2004
ASM

91views Computational Biology» more ASM 2004»

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

14 years 3 months ago

Download www.cs.sfu.ca

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

claim paper

Read More »

click to vote

ASM
2004
ASM

75views Computational Biology» more ASM 2004»

Specification and Implementation Problems for C#

14 years 3 months ago

Download www.iis.nsk.su

Nicu G. Fruja

claim paper

Read More »

click to vote

DSOM
2004
Springer

79views Computer Networks» more DSOM 2004»

Requirements on Quality Specification Posed by Service Orientation

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers