2944 search results - page 486 / 589 » Robust Semantic Construction |
145
click to vote
CALCO
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
140
click to vote
CCS
2007
ACM
16 years 3 days ago
2007
ACM
In a proxy re-encryption (PRE) scheme, a proxy is given special information that allows it to translate a ciphertext under one key into a ciphertext of the same message under a di...
161
click to vote
CCS
2007
ACM
16 years 3 days ago
2007
ACM
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
146
click to vote
ECOOP
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
148
click to vote
ESOP
2007
Springer
16 years 3 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...