1757 search results - page 25 / 352 » Alternating Refinement Relations |
98
Voted
BPM
2003
Springer
15 years 4 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
CSB
2004
IEEE
15 years 4 months ago
2004
IEEE
Alternative transcription, in which a single gene may give rise to multiple variant mRNA forms, is widely recognized as an important source of protein diversity in complex, eukary...
127
Voted
IFIPTCS
2000
15 years 4 months ago
2000
The capabilities of alternating cellular automata (ACA) to accept formal languages are investigated. Several notions of alternation in cellular automata have been proposed. Here we...
105
click to vote
GLOBECOM
2008
IEEE
15 years 18 days ago
2008
IEEE
We propose a broadcast protocol that is based on a form of cooperative diversity called the Opportunistic Large Array (OLA). In the initial broadcast, an SNR ("transmission&qu...
94
Voted
MOR
2008
15 years 12 days ago
2008
We prove that if two smooth manifolds intersect transversally, then the method of alternating projections converges locally at a linear rate. We bound the speed of convergence in ...