24421 search results - page 430 / 4885 » Communicating Complex Systems |
145
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
144
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
144
click to vote
ISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a prototype wearable audio player system to playback the digital audio signal transmitted through the wearer’s body without any wire. To significantly reduce...
123
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
110
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
Noise figure is a commonly used system parameter that quantifies the degradation in the signal-to-noise ratio (SNR) as the signal passes through a receiving system. Because of the...