1540 search results - page 91 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
IWSSD
2000
IEEE
14 years 7 days ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes our work in the field of semantic interoperability in Pan-European Public Services. After introducing a layered interoperability model, a typology of Pan-Euro...
COMPGEOM
2004
ACM
14 years 1 months ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...