1875 search results - page 207 / 375 » A Calculus of Broadcasting Systems |
110
Voted
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
124
Voted
ICDCSW
2009
IEEE
14 years 10 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
101
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
116
Voted
CMSB
2011
Springer
14 years 18 days ago
2011
Springer
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
86
Voted
CHI
2003
ACM
16 years 1 months ago
2003
ACM
Our goal is to help automate the capture and broadcast of lectures to remote audiences. There are two inter-related components to the design of such systems. The technology compon...