1352 search results - page 27 / 271 » Designing Security Requirements Models Through Planning |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
ICCAD
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...
WER
2005
Springer
14 years 1 months ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Fuzzy logic has been used yet for extending database models to deal with vagueness in the definitions of linguistic concepts as "tall" or "long". However, the ...