181 search results - page 18 / 37 » Automated Verification of UMLsec Models for Security Require... |
126
click to vote
FASE
2009
Springer
15 years 8 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 ...
145
click to vote
DEON
2008
Springer
15 years 6 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...
142
click to vote
ISORC
2005
IEEE
15 years 10 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...
123
click to vote
EATIS
2007
ACM
15 years 8 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...
146
click to vote
OOPSLA
2009
Springer
15 years 10 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...