3271 search results - page 428 / 655 » Controlled Multicast Framework |
168
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
188
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
194
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Many systems require the setting of a large number of parameters. This is often a difficult and time consuming task, especially for novice users. A framework is presented to simp...
175
click to vote
PICS
2003
15 years 7 months ago
2003
We present a novel spectral imaging technique that allows multiple gray-scale images to be combined in a single hardcopy print. The images are individually revealed when the print...
174
click to vote
AAAI
1996
15 years 7 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...