Search Sciweavers | Sciweavers

3273 search results - page 12 / 655

» types 2007

click to vote

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

15 years 6 months ago

Download www.dsi.unive.it

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

claim paper

Read More »

click to vote

ASIAN
2007
Springer

114views Algorithms» more ASIAN 2007»

Compiling C Programs into a Strongly Typed Assembly Language

15 years 6 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

15 years 6 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

15 years 6 months ago

Download webspn.hit.bme.hu

Gábor Horváth, Miklós Telek

claim paper

Read More »

Voted

FSEN
2007
Springer

90views Software Engineering» more FSEN 2007»

Type Abstractions of Name-Passing Processes

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers