3733 search results - page 234 / 747 » Logics of communication and change |
122
click to vote
SAC
1994
ACM
15 years 5 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
125
click to vote
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
108
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract—Accurate and timely identification of the routerlevel topology of the Internet is one of the major unresolved problems in Internet research. Topology recovery via tomog...
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—We consider network reliability in layered networks where the lower layer experiences random link failures. In layered networks, each failure at the lower layer may lead to mult...
106
click to vote
LICS
2010
IEEE
14 years 12 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...