4744 search results - page 331 / 949 » Connected Computing |
145
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...
109
click to vote
DSOM
2007
Springer
15 years 10 months ago
2007
Springer
Interoperability testing is an inherently distributed task. It connects different implementations together and determines if they interact according to their specifications, prov...
140
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe the main aspects of a system to perform non-trivial segmentations of 3D surface meshes and to annotate the detected parts through concepts expressed by an...
109
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
AQM is a technique for congestion control such that a router notifies congestion to a TCP sender when congestion occurs. Almost no AQM algorithms ever take the RTT values of TCP ...
129
click to vote
FCT
2005
Springer
15 years 10 months ago
2005
Springer
Block sorting is used in connection with optical character recognition (OCR). Recent work has focused on finding good strategies which perform well in practice. Block sorting is N...