3575 search results - page 127 / 715 » Modeling Concurrency with Geometry |
129
click to vote
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
122
click to vote
WDAG
2004
Springer
15 years 6 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
113
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
111
click to vote
NETWORKING
2008
15 years 3 months ago
2008
Previously, we identified the failure-induced receive buffer (rbuf) blocking problem in Concurrent Multipath Transfer using SCTP multihoming (CMT), and proposed CMT with a Potentia...
136
click to vote
IJCAI
2001
15 years 2 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...