2685 search results - page 403 / 537 » A Formal Semantics for SPKI |
170
Voted
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
171
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
151
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
175
Voted
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
186
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...