5334 search results - page 242 / 1067 » Communicating quantum processes |
153
click to vote
TKDE
1998
15 years 4 months ago
1998
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
161
click to vote
ANCS
2007
ACM
15 years 9 months ago
2007
ACM
There is a growing interest in designing high-performance network devices to perform packet processing at flow level. Applications such as stateful access control, deep inspection...
148
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
150
click to vote
DAC
2006
ACM
15 years 11 months ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...
162
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
Multi-party voice-over-IP (MVoIP) services provide economical and natural group communication mechanisms for many emerging applications such as on-line gaming, distance collaborat...