5334 search results - page 192 / 1067 » Communicating quantum processes |
119
click to vote
MMB
1997
Springer
15 years 8 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...
165
click to vote
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
— Wireless sensor networks span from military applications into everyday life. Body sensor networks greatly benefit from wireless sensor networks to answer the biofeedback challe...
172
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
155
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
129
Voted
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
—The operand-width specifications in fixed-point hardware implementations of turbo code decoders is an important design issue, since this governs the trade-off between the deco...