2612 search results - page 24 / 523 » Mobile Processes and Termination |
HSNMC
2004
Springer
14 years 1 months ago
2004
Springer
Fourth generation mobile networks will allow end-users to roam over different network technologies, such as UMTS, CDMA2000 and Wi-Fi. These mobile networks make it possible to dete...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
ICCCN
2007
IEEE
14 years 2 months ago
2007
IEEE
—Several recent research activities have started to recognize the relevant role of k-hop clustering in Mobile Ad hoc NETworks (MANET) to effectively support many relevant tasks, ...
SAC
2003
ACM
14 years 29 days ago
2003
ACM
Recent developments in mobile technologies and associated economies of scale via mature manufacturing processes have made possible the construction of pervasive systems in specifi...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...