526 search results - page 57 / 106 » Towards a Library for Process Programming |
116
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Application development for distributed-computing ``Grids'' can benefit from tools that variously hide or enable application-level management of critical aspects of the ...
114
Voted
ICS
2001
Tsinghua U.
15 years 6 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
93
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
114
click to vote
UM
2007
Springer
15 years 8 months ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...