7661 search results - page 197 / 1533 » Languages and the Computing Profession |
188
click to vote
IEEESCC
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
143
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Building an effective Information Retrieval system requires various design choices, ranging from the weighting scheme to the type of morphological normalization. The combination ...
171
click to vote
ICCHP
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we introduce the characteristics of the educational platform that is being developed within the SYNENNOESE project. The platform integrates avatar and animation techn...
173
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
143
click to vote
COCO
1998
Springer
15 years 10 months ago
1998
Springer
Ladner [18] showed that there are no minimal recursive sets under polynomial-time reductions. Given any recursive set A, Ladner constructs a set B such that B strictly reduces to ...