Search Sciweavers | Sciweavers

5630 search results - page 7 / 1126

» Computability in Specification

139

click to vote

ICNS
2007
IEEE

92views Computer Networks» more ICNS 2007»

Host Identity Specific Multicast

16 years 21 days ago

Download www.ietf.org

Zsolt Kovacshazi, Rolland Vida

claim paper

Read More »

128

click to vote

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

On the Completeness of Context-Sensitive Order-Sorted Specifications

16 years 15 days ago

Download whoisjoe.info

Joe Hendrix, José Meseguer

claim paper

Read More »

138

click to vote

SAC
2006
ACM

103views Applied Computing» more SAC 2006»

Java bytecode specification and verification

16 years 10 days ago

Download delivery.acm.org

Lilian Burdy, Mariela Pavlova

claim paper

Read More »

120

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

16 years 23 hour ago

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

132

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 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers