657 search results - page 51 / 132 » Secure and Usable Requirements Engineering |
149
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
160
Voted
PPPJ
2004
ACM
15 years 9 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
122
Voted
DRM
2007
Springer
15 years 9 months ago
2007
Springer
We present a new technique for generating biometric fingerprint hashes, or summaries of information contained in human fingerprints. Our method calculates and aggregates various...
144
Voted
CSREASAM
2009
15 years 4 months ago
2009
In Web services, a framework for the separation of authentication (IdP) and services (SP) has been proposed and actually deployed. In this framework, quality of information provide...
111
Voted
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...