2036 search results - page 238 / 408 » A generic type-and-effect system |
184
click to vote
APLAS
2004
ACM
16 years 15 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
173
click to vote
CD
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
175
Voted
CRYPTO
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...
167
Voted
ECAI
2004
Springer
16 years 14 days ago
2004
Springer
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
174
click to vote
ER
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...