6279 search results - page 921 / 1256 » Objects as session-typed processes |
156
click to vote
PODC
1995
ACM
15 years 10 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
238
click to vote
HLPPP
1991
15 years 10 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
184
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We present a new min-cut based placement algorithm for large scale sea-of-gates arrays. In the past all such algorithms used a xed cut line sequence that is determined before min...
172
click to vote
EXACT
2008
15 years 9 months ago
2008
Abstract. Explanation and argumentation are fundamental to reasoning. They are therefore of some importance to artificial intelligence. Discourse-based reasoning (DBR) is a knowled...
172
click to vote
WSC
2007
15 years 9 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...