5639 search results - page 56 / 1128 » Timed Abstract Non-interference |
126
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
ENTCS
2006
14 years 12 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
192
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
FAST
2010
15 years 2 months ago
2010
is a unifying abstraction that simplifies data management by encapsulating different physical representations of the same logical data. Similar to a quBit (quantum bit), the parti...
105
click to vote
RTSS
2003
IEEE
15 years 5 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...