Search Sciweavers | Sciweavers

31686 search results - page 135 / 6338

» Resource typing in Guru

click to vote

ASIAN
2007
Springer

114views Algorithms» more ASIAN 2007»

Compiling C Programs into a Strongly Typed Assembly Language

14 years 3 months ago

Download www.qatar.cmu.edu

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...

claim paper

Read More »

click to vote

COSIT
2007
Springer

97views GIS» more COSIT 2007»

Affordance-Based Similarity Measurement for Entity Types

14 years 3 months ago

Download ifgi.uni-muenster.de

Krzysztof Janowicz, Martin Raubal

claim paper

Read More »

click to vote

EPEW
2007
Springer

91views Internet Technology» more EPEW 2007»

A Canonical Representation of Order 3 Phase Type Distributions

14 years 3 months ago

Download webspn.hit.bme.hu

Gábor Horváth, Miklós Telek

claim paper

Read More »

click to vote

FSEN
2007
Springer

90views Software Engineering» more FSEN 2007»

Type Abstractions of Name-Passing Processes

14 years 3 months ago

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

click to vote

IFM
2007
Springer

77views Formal Methods» more IFM 2007»

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers