752 search results - page 81 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
167
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...
119
Voted
SCL
2008
15 years 3 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
125
Voted
CTW
2002
15 years 3 months ago
2002
Abstract: The present study began with an assessment of the reliability and usefulness of an existing minor event coding system in a British `highconsequence' industry. It was...
131
Voted
GRC
2007
IEEE
15 years 7 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
122
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper develops and tests a model of the impact of licensing restrictiveness and organizational sponsorship on the popularity and vitality of open source software (OSS) develo...