3713 search results - page 413 / 743 » Constructing a Calculus of Programs |
108
Voted
UM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
120
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
108
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
We illustrate basic features of the Lixto wrapper generator such as the user and system interaction, the capacious visual interface, the marking and selecting procedures, and the ...
128
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
141
click to vote
FSTTCS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...