5334 search results - page 77 / 1067 » Communicating quantum processes |
126
click to vote
SG
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
146
click to vote
SIPS
2006
IEEE
15 years 9 months ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
173
Voted
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
116
click to vote
IWQOS
2005
Springer
15 years 9 months ago
2005
Springer
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
133
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...