1256 search results - page 206 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
COOTS
1996
13 years 9 months ago
1996
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
We present a novel system that is capable of generating live dense volumetric reconstructions based on input from a micro aerial vehicle. The distributed reconstruction pipeline i...
FM
2006
Springer
14 years 4 days ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...
RECOMB
2010
Springer
14 years 3 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...