1060 search results - page 189 / 212 » Mechanized semantics |
125
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
152
click to vote
OTM
2009
Springer
15 years 10 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
150
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
152
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
157
Voted
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...