10072 search results - page 1377 / 2015 » Composition of Model Programs |
206
click to vote
MIDDLEWARE
2005
Springer
16 years 27 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
188
click to vote
PADS
2004
ACM
16 years 25 days ago
2004
ACM
: Time warp is a well-known optimistic mechanism for parallel execution of simulation programs. Implementing time warp using a connection-oriented communication approach is propose...
286
click to vote
FAABS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
214
click to vote
FLOPS
2004
Springer
16 years 24 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
173
click to vote
IFIP
2004
Springer
16 years 24 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...