3271 search results - page 118 / 655 » Controlled Multicast Framework |
116
click to vote
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
117
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— It has been observed that adding a few long range edges to certain graph topologies can significantly increase the rate of convergence for consensus algorithms. A notable exam...
145
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
154
click to vote
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
118
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...