2661 search results - page 113 / 533 » Model Checking Performability Properties |
118
Voted
SE
2007
15 years 4 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
116
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
114
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Ordering property is an important property of LSP and closely connected with the naturalness of reconstructed speech. When LSP is adopted as spectrum feature in HMM-based parametr...
121
Voted
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
Molecular geometric properties, such as volume, exposed surface area, and occurrence of internal cavities, are important inputs to many applications in molecular modeling. In this ...
103
click to vote
JCS
2002
15 years 2 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...