17082 search results - page 3245 / 3417 » Abstractions for Mobile Computation |
167
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
167
click to vote
GW
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. In this paper, we introduce some exploratory ideas and applications involving the gestural control of sonic textures. Three examples of how the gestural control of synthe...
176
click to vote
PODC
2004
ACM
16 years 5 hour ago
2004
ACM
Abstract With n servers that independently fail with probability of p < 0.5, it is well known that the majority quorum system achieves the best availability among all quorum sys...
183
click to vote
SAC
2004
ACM
16 years 5 hour ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
192
click to vote
SAC
2004
ACM
16 years 5 hour ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...