115 search results - page 2 / 23 » Automated Integrative Analysis of State-based Requirements |
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...
ACSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
CONCURRENCY
2007
13 years 4 months ago
2007
Abstract. The memory hierarchy plays an essential role in the performance of current computers, thus good analysis tools that help predict and understand its behavior are required....
DEXA
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...