254 search results - page 35 / 51 » A Behavioral Module System for the Pi-Calculus |
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
System performance in multi-agent resource allocation systems can often improve if individual agents reduce their activity. Agents in such systems need a way to modulate their ind...
109
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
103
click to vote
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
FUIN
2008
14 years 12 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....