126 search results - page 18 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
107
click to vote
IJNSEC
2008
14 years 11 months ago
2008
Identity-based cryptography uses pairing functions,which are sophisticated bilinear maps defined on elliptic curves.Computing pairings efficiently in software is presently a relev...
128
click to vote
CBSQ
2003
Springer
15 years 4 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
MFCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
CHI
2008
ACM
16 years 2 days ago
2008
ACM
Because most animation tools are complex and timeconsuming to learn and use, most animations today are created by experts. To help novices create a wide range of animations quickl...