189 search results - page 32 / 38 » Modeling Concurrent Real-Time Processes Using Discrete Event... |
IPSN
2004
Springer
14 years 1 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
SBMF
2009
Springer
14 years 6 days ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
BPM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
VTS
2007
IEEE
14 years 1 months ago
2007
IEEE
: Conventionally, path delay tests are derived in a delay-independent manner, which causes most faults to be robustly untestable. Many non-robust tests are found but, in practice, ...