13977 search results - page 2560 / 2796 » Evolution in complex systems |
176
click to vote
ESORICS
2005
Springer
16 years 2 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
180
click to vote
PDCAT
2005
Springer
16 years 1 days ago
2005
Springer
Recently a bulk of research [14, 5, 15, 9] has been done on the modelling of the smallworld phenomenon, which has been shown to be pervasive in social and nature networks, and eng...
164
click to vote
SCOPES
2005
Springer
16 years 1 days ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
177
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
203
click to vote
VLDB
2005
ACM
16 years 22 hour ago
2005
ACM
Simultaneous multithreading (SMT) allows multiple threads to supply instructions to the instruction pipeline of a superscalar processor. Because threads share processor resources,...