845 search results - page 3 / 169 » Connecting Many-Sorted Theories |
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
TSP
2010
13 years 2 months ago
2010
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
JGT
2010
13 years 5 months ago
2010
: A well-known result of Tutte states that a 3-connected graph G is planar if and only if every edge of G is contained in exactly two induced non-separating circuits. Bixby and Cun...
JSAC
2011
13 years 2 months ago
2011
—We analyze the multihop delay of ad hoc cognitive radio networks, where the transmission delay of each hop consists of the propagation delay and the waiting time for the availab...
MOC
1998
13 years 7 months ago
1998
The groundwork for a theory of quadratic identities involving the classical triple and quintuple products is layed. The approach is through the study and use of affine maps that ac...