181 search results - page 30 / 37 » Automated Verification of UMLsec Models for Security Require... |
135
click to vote
ADBIS
2006
Springer
15 years 4 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...
127
click to vote
JAR
2000
15 years 5 days 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...
84
Voted
DAC
2006
ACM
16 years 1 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...
152
click to vote
AGTIVE
2007
Springer
15 years 4 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...
DAC
2003
ACM
16 years 1 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...