244 search results - page 34 / 49 » A Model of Components with Non-regular Protocols |
CPAIOR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
109
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
Instruments and sensors are the primary sources of data driving science and the development and refinement of theory. A critical component of eresearch yet to be clarified is the ...
BROADNETS
2007
IEEE
15 years 6 months ago
2007
IEEE
While most transmission schemes in OBS networks relegate retransmission to higher protocol layers, the scheme proposed in this paper reduces retransmission delays by exploiting ...
110
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
WSFM
2007
Springer
15 years 5 months ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...