716 search results - page 21 / 144 » Security Requirements Engineering: A Framework for Represent... |
ECRTS
2003
IEEE
14 years 2 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
ISPASS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
COOPIS
1995
IEEE
14 years 9 days ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ESSOS
2011
Springer
13 years 7 days ago
2011
Springer
The feedback from architectural decisions to the elaboration of requirements is an established concept in the software engineering community. However, pinpointing the nature of thi...