1054 search results - page 26 / 211 » From a Verified Kernel towards Verified Systems |
117
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
116
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
133
click to vote
DBSEC
2009
15 years 3 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
113
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...