1151 search results - page 142 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
205
click to vote
ICAC
2008
IEEE
16 years 1 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...
223
click to vote
GI
1998
Springer
15 years 11 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
214
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Cryptanalysis of symmetric and asymmetric ciphers is a challenging task due to the enormous amount of involved computations. To tackle this computational complexity, usually the e...
188
click to vote
ICFEM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
171
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...