6274 search results - page 275 / 1255 » Proofs, Programs, Processes |
173
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
164
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
158
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
137
click to vote
SIGCSE
2005
ACM
16 years 3 days ago
2005
ACM
There is growing interest in computing courses for non-CS majors. We have recently built such a course that has met with positive response. We describe our design process, which i...
191
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...