805 search results - page 76 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
100
click to vote
PLDI
2012
ACM
13 years 7 days ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
SERP
2003
14 years 11 months ago
2003
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
RE
2010
Springer
14 years 4 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
127
click to vote
KDD
1998
ACM
15 years 2 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...