1163 search results - page 13 / 233 » Case Studies of Model Checking for Embedded System Designs |
BCSHCI
2009
15 years 25 days ago
2009
We describe the design process we have used to develop a minimal, twenty vibration motor Tactile Vision Sensory Substitution (TVSS) system which enables blind-folded subjects to s...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We analyze a series of alternative decomposition...
106
click to vote
SUTC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
CODES
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...