5433 search results - page 686 / 1087 » Tool Support for Traceability-Adaptation |
174
click to vote
INFORMATICALT
2006
15 years 7 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
177
click to vote
INFSOF
2006
15 years 7 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
208
click to vote
DKE
2007
15 years 7 months ago
2007
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
169
click to vote
JSYML
2008
15 years 7 months ago
2008
We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a ...
185
click to vote
ECCC
2007
15 years 7 months ago
2007
We show how to construct a variety of “trapdoor” cryptographic tools assuming the worst-case hardness of standard lattice problems (such as approximating the length of the sho...