5334 search results - page 368 / 1067 » Communicating quantum processes |
162
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
168
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
169
click to vote
ISNN
2007
Springer
16 years 26 days ago
2007
Springer
A novel online dynamic value system for machine learning is proposed in this paper. The proposed system has a dual network structure: data processing network (DPN) and information ...
146
click to vote
MDM
2007
Springer
16 years 26 days ago
2007
Springer
We envision that in some wireless sensor network applications, such as environmental monitoring, assisted living, and industrial control, handheld devices will be used from time t...
178
click to vote
APCCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
— This paper investigates both transmultiplexer (TMUX) and analysis-synthesis filter banks where the two sides of the filter bank system are of different sizes. Such configura...