3330 search results - page 119 / 666 » software 2010 |
115
Voted
FORMATS
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
134
Voted
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
117
Voted
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
111
Voted
TRUST
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...
116
click to vote
AISC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...