84 search results - page 12 / 17 » Towards an Algebra of Abstractions for Communicating Process... |
172
click to vote
PCI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
173
click to vote
B
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
152
click to vote
FOSSACS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
145
click to vote
ICC
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract—Establishing a radio link in cell-based mobile communication systems involves searching and synchronizing the downlink known pattern of sequences associated with the bas...
160
click to vote
TGC
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...