Sciweavers

790 search results - page 47 / 158
» Hierarchical Group Signatures
Sort
View
116
Voted
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 4 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
83
Voted
ACTAC
2006
101views more  ACTAC 2006»
15 years 24 days ago
Cycle Structure in Automata and the Holonomy Decomposition
The algebraic hierarchical decomposition of finite state automata can be applied wherever a finite system should be `understood' using a hierarchical coordinate system. Here ...
Attila Egri-Nagy, Chrystopher L. Nehaniv
BMCBI
2010
138views more  BMCBI 2010»
15 years 26 days ago
A model-independent approach to infer hierarchical codon substitution dynamics
Background: Codon substitution constitutes a fundamental process in molecular biology that has been studied extensively. However, prior studies rely on various assumptions, e.g. r...
Olof Görnerup, Martin Nilsson Jacobi
97
Voted
ICPPW
2002
IEEE
15 years 5 months ago
Hierarchical Restoration Scheme for Multiple Failures in GMPLS Networks
Abstract—It is expected that GMPLS-based recovery could become a viable option for obtaining faster restoration than layer 3 rerouting. Even though dedicated restoration ensures ...
SuKyoung Lee, Chul Kim, David W. Griffith
129
Voted
ITCC
2005
IEEE
15 years 6 months ago
A New Electronic Cash Model
- With the development of e-commerce, choosing a proper electronic payment method has become more and more important. Competing with other payment methods on the Internet, electron...
Xiaosong Hou, Chik How Tan