2185 search results - page 318 / 437 » Context for semantic metadata |
132
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
209
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
205
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
133
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
101
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...