589 search results - page 37 / 118 » Accurate Dependability Analysis of CAN-Based Networked Syste... |
116
click to vote
SBMF
2009
Springer
15 years 6 months 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...
155
click to vote
IMC
2010
ACM
14 years 12 months ago
2010
ACM
Despite many years of work in wireless mesh networks built using 802.11 radios, the performance and behavior of these networks in the wild is not well-understood. This lack of und...
105
click to vote
WCNC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper shows the application of a recently proposed statistical characterization of the ultra-wideband (UWB) radio channel to the standardized IEEE 802.15.4a UWB ph...
103
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
A large number of the MAC protocols proposed for establishing wireless sensor networks are based on the 802.11 standard. The trade-off in these protocols is the control packet ov...
136
click to vote
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 3 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...