1173 search results - page 164 / 235 » Weighted Distributed Systems and Their Logics |
82
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
127
Voted
APWEB
2008
Springer
15 years 2 months ago
2008
Springer
Information exchanges in P2P networks have become very popular in recent years. However, tracing how data circulates between peers and how data modifications are performed during t...
118
Voted
JAVA
2001
Springer
15 years 5 months ago
2001
Springer
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, e...
121
Voted
ICDCS
2011
IEEE
14 years 11 days ago
2011
IEEE
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...
109
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...