4485 search results - page 278 / 897 » Equivalences on Observable Processes |
138
click to vote
FCCM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
142
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...
151
click to vote
ACISP
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We present two (related) dedicated hash functions that deliberately borrow heavily from the block ciphers that appeared in the final stages of the AES process. We explor...
171
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
135
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...