1922 search results - page 92 / 385 » ie 2007 |
GLOBECOM
2007
IEEE
13 years 10 months ago
2007
IEEE
— In this paper, we introduce a network multicast problem called the alternating multicast problem. In this problem, there is more than one multicast on the network, but only one...
AMAI
2007
Springer
13 years 10 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
CPHYSICS
2007
13 years 10 months ago
2007
For finite Reynolds numbers the interaction of moving fluids with particles is still only understood phenomenologically. We will present three different numerical studies all u...
ENTCS
2007
13 years 10 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...