4349 search results - page 344 / 870 » A Comprehensive Process Model for Studying Software Process ... |
121
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
Aspect-oriented design needs to be systematically assessed with respect to modularity flaws caused by the realization of driving system concerns, such as tangling, scattering, and...
146
click to vote
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
141
click to vote
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
152
click to vote
CMMR
2005
Springer
15 years 6 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
160
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...