748 search results - page 45 / 150 » Time and Probability in Process Algebra |
122
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
89
Voted
CORR
2008
Springer
15 years 15 days ago
2008
Springer
The performance of user-cooperation in a multi-access network is compared to that of using a wireless relay. Using the total transmit and processing power consumed at all nodes as...
117
click to vote
CJ
2010
14 years 9 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
83
Voted
ICASSP
2010
IEEE
15 years 19 days ago
2010
IEEE
We consider a two-stage sensing scheme for cognitive radios where coarse sensing based on energy detection is performed in the first stage and, if required, fine sensing based o...
163
Voted
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
— Although efficient processing of probabilistic databases is a well-established field, a wide range of applications are still unable to benefit from these techniques due to t...