7661 search results - page 403 / 1533 » Languages and the Computing Profession |
146
click to vote
JUCS
2002
15 years 6 months ago
2002
: We study additive distances and quasi-distances between words. We show that every additive distance is finite. We then prove that every additive quasi-distance is regularity-pres...
185
click to vote
IEEESCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Choreography changes performed by one party may affect other parties. The changes and the implication for other parties can be determined. However, the required changes on the orc...
206
click to vote
GCC
2003
Springer
16 years 1 days ago
2003
Springer
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
129
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
187
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...