31387 search results - page 5967 / 6278 » Abstracting abstract machines |
152
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
203
click to vote
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. In wireless data broadcast systems, popular information is repetitively disseminated through possibly multiple communication channels to mobile clients using various type...
183
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
212
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper addresses strategies for the stable marriage problem. For the Gale-Shapley algorithm with men proposing, a classical theorem states that it is impossible for e...
164
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...