Sciweavers

3943 search results - page 236 / 789
» Architecture-Level Requirements Specification
Sort
View
ICSE
1998
IEEE-ACM
15 years 11 months ago
An Adaptable Generation Approach to Agenda Management
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
EUROCRYPT
2007
Springer
15 years 10 months ago
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
Yi Deng, Dongdai Lin
ICSE
2000
IEEE-ACM
15 years 10 months ago
A case study: demands on component-based development
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
Ivica Crnkovic, Magnus Larsson
DAGSTUHL
2004
15 years 8 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
WSC
2000
15 years 8 months ago
An MSE-based simulation capability for strategic and tactical logistics
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
Charles R. Standridge, David R. Heltne