181 search results - page 30 / 37 » Automated Verification of UMLsec Models for Security Require... |
112
Voted
ADBIS
2006
Springer
15 years 1 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
109
Voted
JAR
2000
14 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
132
Voted
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
70
Voted
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Design and validation of mixed-signal integrated systems require evel model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF...