5475 search results - page 621 / 1095 » Model Driven Security |
170
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
165
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
170
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Determination of protein-DNA complex structures with both NMR and X-ray crystallography remains challenging in many cases. High Ambiguity-Driven DOCKing (HADDOCK) is a...
185
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Peer-to-peer (P2P) file sharing accounts for an astonishing volume of current Internet traffic. This paper probes deeply into modern P2P file sharing systems and the forces that...
172
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...