2935 search results - page 141 / 587 » An Integrated Approach to High Integrity Software Verificati... |
170
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
161
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
183
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The biological information in genomic expression data can be understood, and computationally extracted, in the context of systems of interacting molecules. The automat...
170
click to vote
VR
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
182
click to vote
ADHOC
2008
15 years 6 months ago
2008
Sensor network MAC protocols typically sacrifice packet latency to achieve energy efficiency. Such delays may well increase due to routing protocol operation. For this reason it i...