11328 search results - page 447 / 2266 » Timed Branching Processes |
170
click to vote
VLSISP
2008
15 years 6 months ago
2008
Digital signal processing (DSP) applications involve processing long streams of input data. It is important to take into account this form of processing when implementing embedded ...
151
click to vote
JSS
2000
15 years 6 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
193
click to vote
APPROX
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we develop a new "robust mixing" framework for reasoning about adversarially modified Markov Chains (AMMC). Let P be the transition matrix of an irreducib...
174
click to vote
CONCUR
2009
Springer
16 years 27 days ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
138
Voted
COMPUTER
2004
15 years 6 months ago
2004
partners are abstracted as Web services, we have introduced additional constructs to represent human users and define human interaction patterns. Each business process defined in o...