1141 search results - page 27 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
160
click to vote
IJBC
2006
15 years 6 months ago
2006
In recent years, a large amount of work on chaos-based cryptosystems have been published. However many of the proposed schemes fail to explain or do not possess a number of featur...
141
click to vote
GLVLSI
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a formalism for implementing circuits with Quantum-dot Cellular Automata (QCA), comprising a set of standard circuit elements with uniform layout rules. The formalism s...
145
click to vote
EWSA
2005
Springer
15 years 11 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
146
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
159
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...