631 search results - page 80 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
FDL
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
104
click to vote
ECBS
2007
IEEE
14 years 11 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
ICAC
2008
IEEE
15 years 4 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
IVA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. While interactive virtual humans are becoming widely used in education, training and therapeutic applications, building animations which are both realistic and parameteri...
WETICE
2003
IEEE
15 years 3 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...