512 search results - page 92 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
CAD
2000
Springer
13 years 8 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
CC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Many Eyes is a web site that provides collaborative visualization services, allowing users to upload data sets, visualize them, and comment on each other's visualizations. Th...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
TCP Throughput Collapse, also known as Incast, is a pathological behavior of TCP that results in gross under-utilization of link capacity in certain many-to-one communication patt...