1163 search results - page 89 / 233 » Case Studies of Model Checking for Embedded System Designs |
124
click to vote
EUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
123
click to vote
COMPLEX
2009
Springer
15 years 11 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
149
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a hidden Markov model (HMM) based approach to perform search interface segmentation. Automatic processing of an interface is a must to access the invisible co...
131
click to vote
EMNETS
2007
15 years 8 months ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
118
click to vote
DM
2008
15 years 4 months ago
2008
The present paper continues the study (begun by Quattrocchi, Colouring 4-cycle systems with specified block colour pattern: the case of embedding P3-designs, Electron. J. Combin.,...