216 search results - page 34 / 44 » A Case Study in Embedded System Design: An Engine Control Un... |
CSFW
2010
IEEE
13 years 12 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Autonomic computing is a paradigm that aims at reducing administrative overhead by providing autonomic managers to make applications self-managing. In order to better deal with ...
CASES
2003
ACM
14 years 1 months ago
2003
ACM
The development of energy-conscious embedded and/or mobile systems exposes a trade-off between energy consumption and system performance. Recent microprocessors have incorporated ...
ASE
2002
13 years 7 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
IWSSD
2000
IEEE
14 years 10 days ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...