3256 search results - page 238 / 652 » Applications of Formal Methods to System Design and Verifica... |
172
click to vote
HCSE
2010
15 years 4 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
192
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This paper considers a recently proposed framework for experiment design in system identification for control. We will consider model based control design methods, such ...
195
click to vote
ACMACE
2006
ACM
16 years 15 days ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...
217
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
160
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...