10568 search results - page 233 / 2114 » Computer Intelligence and Formalization |
128
click to vote
VLSID
1999
IEEE
15 years 7 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
141
click to vote
AINA
2003
IEEE
15 years 6 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
132
click to vote
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
129
click to vote
FUIN
2006
15 years 3 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
148
click to vote
TC
2010
15 years 1 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...