Search Sciweavers | Sciweavers

5630 search results - page 7 / 1126

» Computability in Specification

121

click to vote

ICNS
2007
IEEE

92views Computer Networks» more ICNS 2007»

Host Identity Specific Multicast

15 years 11 months ago

Download www.ietf.org

Zsolt Kovacshazi, Rolland Vida

claim paper

Read More »

109

click to vote

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

On the Completeness of Context-Sensitive Order-Sorted Specifications

15 years 11 months ago

Download whoisjoe.info

Joe Hendrix, José Meseguer

claim paper

Read More »

117

Voted

SAC
2006
ACM

103views Applied Computing» more SAC 2006»

Java bytecode specification and verification

15 years 11 months ago

Download delivery.acm.org

Lilian Burdy, Mariela Pavlova

claim paper

Read More »

104

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

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

119

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers