Search Sciweavers | Sciweavers

5630 search results - page 7 / 1126

» Computability in Specification

106

click to vote

ICNS
2007
IEEE

92views Computer Networks» more ICNS 2007»

Host Identity Specific Multicast

15 years 9 months ago

Download www.ietf.org

Zsolt Kovacshazi, Rolland Vida

claim paper

Read More »

Voted

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

On the Completeness of Context-Sensitive Order-Sorted Specifications

15 years 9 months ago

Download whoisjoe.info

Joe Hendrix, José Meseguer

claim paper

Read More »

102

click to vote

SAC
2006
ACM

103views Applied Computing» more SAC 2006»

Java bytecode specification and verification

15 years 9 months ago

Download delivery.acm.org

Lilian Burdy, Mariela Pavlova

claim paper

Read More »

click to vote

CCGRID
2005
IEEE

113views Distributed And Parallel Com...» more CCGRID 2005»

Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language

15 years 8 months ago

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

101

click to vote

SAC
2005
ACM

89views Applied Computing» more SAC 2005»

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers