10263 search results - page 1808 / 2053 » From Use Cases to System Operation Specifications |
177
click to vote
LATINCRYPT
2010
15 years 4 months ago
2010
Abstract. In this paper, we present an efficient cryptanalysis of the socalled HM cryptosystem which was published at Asiacrypt’1999, and one perturbed version of HM. Until now, ...
164
click to vote
MODELS
2009
Springer
16 years 24 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
310
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
We have developed a system to process database queries over composed data providing web services. The queries are transformed into execution plans containing an operator that invok...
152
click to vote
ESOP
1990
Springer
15 years 10 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
215
click to vote
IWAN
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...