4211 search results - page 338 / 843 » A formal approach to MASQ |
192
click to vote
ICECCS
2005
IEEE
16 years 12 days ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
160
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
185
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
169
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
143
click to vote
KCAP
2005
ACM
16 years 11 days ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...