2432 search results - page 360 / 487 » Cryptographic logical relations |
177
click to vote
TLCA
2007
Springer
16 years 10 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
164
click to vote
ICTAI
2006
IEEE
16 years 8 days ago
2006
IEEE
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
134
Voted
DEXAW
2005
IEEE
15 years 12 months ago
2005
IEEE
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
143
Voted
ENC
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
149
click to vote
ICDE
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...