Sciweavers

3328 search results - page 487 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ICSOC
2007
Springer
16 years 24 days ago
Automated Dynamic Maintenance of Composite Services Based on Service Reputation
Abstract. Service-oriented computing promotes the construction of applications by composing distributed services that are advertised in an open service market. In such an environme...
Domenico Bianculli, Radu Jurca, Walter Binder, Car...
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
16 years 23 days ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
OOPSLA
2007
Springer
16 years 23 days ago
Software speculative multithreading for Java
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
Christopher J. F. Pickett
PKC
2007
Springer
111views Cryptology» more  PKC 2007»
16 years 23 days ago
Optimistic Fair Exchange in a Multi-user Setting
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
Yevgeniy Dodis, Pil Joong Lee, Dae Hyun Yum
PPDP
2007
Springer
16 years 23 days ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus