5334 search results - page 532 / 1067 » Communicating quantum processes |
214
click to vote
AINA
2003
IEEE
15 years 10 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
203
click to vote
DFT
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a configuration technique for a Large Area Integrated Circuit (LAIC) which is manufactured by wafer stepping. A LAIC consists of four identical subsystems, i.e., a subs...
231
click to vote
OGAI
1991
15 years 10 months ago
1991
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
192
click to vote
FPGA
2010
ACM
15 years 10 months ago
2010
ACM
Various multimedia communication systems based on 3DAudio algorithms have been proposed by researchers from the acoustic data processing domain. However, all systems reported in t...
183
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...