913 search results - page 81 / 183 » Full Abstraction for Linda |
106
Voted
ICFP
2008
ACM
16 years 21 days ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
91
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
87
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
93
Voted
MDM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Flash disks have been an emerging secondary storage media. In particular, there have been portable devices, multimedia players and laptop computers that are configured ...
87
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...