Sciweavers

121 search results - page 25 / 25
» Semantic Web Policies - A Discussion of Requirements and Res...
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 8 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis