2685 search results - page 403 / 537 » A Formal Semantics for SPKI |
153
click to vote
ECOOP
2007
Springer
16 years 16 days 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 ...
155
click to vote
ESORICS
2007
Springer
16 years 16 days 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...
134
click to vote
FORMATS
2007
Springer
16 years 15 days 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...
161
click to vote
FOSSACS
2007
Springer
16 years 15 days 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...
173
click to vote
ICDT
2007
ACM
16 years 15 days 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...