Search Sciweavers | Sciweavers

5630 search results - page 7 / 1126

» Computability in Specification

142

click to vote

ICNS
2007
IEEE

92views Computer Networks» more ICNS 2007»

Host Identity Specific Multicast

16 years 1 months ago

Download www.ietf.org

Zsolt Kovacshazi, Rolland Vida

claim paper

Read More »

131

click to vote

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

On the Completeness of Context-Sensitive Order-Sorted Specifications

16 years 24 days ago

Download whoisjoe.info

Joe Hendrix, José Meseguer

claim paper

Read More »

143

Voted

SAC
2006
ACM

103views Applied Computing» more SAC 2006»

Java bytecode specification and verification

16 years 19 days ago

Download delivery.acm.org

Lilian Burdy, Mariela Pavlova

claim paper

Read More »

123

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 9 days ago

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

134

click to vote

SAC
2005
ACM

89views Applied Computing» more SAC 2005»

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

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers