2542 search results - page 175 / 509 » An Operational Definition of Context |
143
click to vote
ZUM
1992
Springer
15 years 10 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
159
Voted
APNOMS
2007
Springer
15 years 10 months ago
2007
Springer
The mobile devices have gained much functionality and intelligence with the growth of network technologies, the abundance of network resources, and the increase of various services...
211
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new language concept called "L-closures" for a running program to legitimately inspect/modify the contents of its execution stack. L-closures are lightweight...
186
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
182
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We give a provable-security treatment for the key-wrap problem, providing definitions, constructions, and proofs. We suggest that key-wrap's goal is security in the ...