5451 search results - page 114 / 1091 » Typed Operational Semantics |
137
Voted
POPL
1995
ACM
15 years 7 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
127
Voted
DOOD
1995
Springer
15 years 7 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
118
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...
139
Voted
AAAI
2006
15 years 4 months ago
2006
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
128
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...