Sciweavers

581 search results - page 3 / 117
» formats 2006
Sort
View
JCSS
2000
98views more  JCSS 2000»
15 years 6 days ago
Rooted Branching Bisimulation as a Congruence
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
Wan Fokkink
70
Voted
ISM
2006
IEEE
87views Multimedia» more  ISM 2006»
15 years 6 months ago
On Format-Compliant Iterative Encryption of JPEG2000
Thomas Stütz, Andreas Uhl
92
Voted
ANTSW
2006
Springer
15 years 4 months ago
Chain Based Path Formation in Swarms of Robots
Shervin Nouyan, Marco Dorigo