2850 search results - page 41 / 570 » On Timed Models and Full Abstraction |
124
click to vote
ENTCS
2007
15 years 6 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
128
click to vote
PDPTA
2003
15 years 7 months ago
2003
Abstract— Today’s middleware applications tend to be complicated, and consist of tiers that form a nested chain of objects or processes. For a real-time nested application, pre...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
175
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Cooperative communications can be used to improve communication reliability. However, the transmissions from different relaying nodes result in a great challenge in prac...
147
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We study the problem of authenticating the content and creation time of documents generated by an organization and retained in archival storage. Recent regulations (e.g.,...