1888 search results - page 331 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
167
click to vote
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
The growing interest in ad hoc wireless network applications that are made of large and dense populations of lightweight system resources calls for scalable approaches to fault to...
116
Voted
CN
2000
15 years 2 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
121
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
132
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
132
click to vote
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...