1926 search results - page 127 / 386 » Modeling and Model Checking Software Product Lines |
157
click to vote
ECOOPW
1997
Springer
15 years 10 months ago
1997
Springer
There are many similarities between industrial goods manufacturing and software development processes. This paper first briefly analyzes the recent developments in goods manufactur...
155
click to vote
MANSCI
2010
15 years 4 months ago
2010
This paper analytically explores the effect of software bundling on software piracy. We focus on piracy at individual user level where several individuals illegitimately share a s...
155
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
162
click to vote
COMPSAC
2008
IEEE
16 years 25 days ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
157
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...