Sciweavers

31686 search results - page 135 / 6338
» Resource typing in Guru
Sort
View
ASIAN
2007
Springer
114views Algorithms» more  ASIAN 2007»
15 years 11 months ago
Compiling C Programs into a Strongly Typed Assembly Language
Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...
127
Voted
COSIT
2007
Springer
97views GIS» more  COSIT 2007»
15 years 11 months ago
Affordance-Based Similarity Measurement for Entity Types
Krzysztof Janowicz, Martin Raubal
102
Voted
FSEN
2007
Springer
15 years 11 months ago
Type Abstractions of Name-Passing Processes
Lucia Acciai, Michele Boreale
IFM
2007
Springer
15 years 11 months ago
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...