10568 search results - page 242 / 2114 » Computer Intelligence and Formalization |
102
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...
115
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Complex Automata were recently proposed as a paradigm to model multi-scale complex systems. The concept is formalized and the scale separation map is further investigated in relati...
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
113
click to vote
AAECC
1993
Springer
15 years 7 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
141
Voted
DATESO
2004
15 years 4 months ago
2004
Binary Factor Analysis (BFA, also known as Boolean Factor Analysis) may help with understanding collections of binary data. Since we can take collections of text documents as binar...