181 search results - page 18 / 37 » Automated Verification of UMLsec Models for Security Require... |
77
Voted
FASE
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
DEON
2008
Springer
14 years 11 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
75
Voted
EATIS
2007
ACM
15 years 1 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
88
Voted
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Iterations are time-boxed periods with an intended outcome that is often a set of implemented requirements. Iterations are part of most common software development lifecycle model...