Sciweavers

3273 search results - page 12 / 655
» types 2007
Sort
View
ASIAN
2007
Springer
93views Algorithms» more  ASIAN 2007»
16 years 26 days ago
Static vs Dynamic Typing for Access Control in Pi-Calculus
Michele Bugliesi, Damiano Macedonio, Sabina Rossi
ASIAN
2007
Springer
114views Algorithms» more  ASIAN 2007»
16 years 26 days ago
Compiling C Programs into a Strongly Typed Assembly Language
Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...
COSIT
2007
Springer
97views GIS» more  COSIT 2007»
16 years 26 days ago
Affordance-Based Similarity Measurement for Entity Types
Krzysztof Janowicz, Martin Raubal
125
Voted
EPEW
2007
Springer
16 years 26 days ago
A Canonical Representation of Order 3 Phase Type Distributions
Gábor Horváth, Miklós Telek
FSEN
2007
Springer
16 years 26 days ago
Type Abstractions of Name-Passing Processes
Lucia Acciai, Michele Boreale