548 search results - page 3 / 110 » Mobile processes, mobile channels and complex dynamic system... |
80
Voted
PDSE
2000
14 years 11 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
79
Voted
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
78
Voted
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
We consider the estimation of doubly selective wireless channels within pulse-shaping multicarrier systems (which include OFDM systems as a special case). A new channel estimation...
ECWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...