2612 search results - page 97 / 523 » Mobile Processes and Termination |
STOC
2010
ACM
14 years 2 months ago
2010
ACM
The Steiner tree problem is one of the most fundamental ÆÈ-hard problems: given a weighted undirected graph and a subset of terminal nodes, find a minimum weight tree spanning ...
DIALM
1999
ACM
14 years 1 months ago
1999
ACM
In this paper, we attempt to describe the evolving status of wireless communications and its impact on the future of mobile computing. We present a historical perspective and eluc...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
— Passive Optical Networks (PONs) represent a step forward in “first mile” networks; indeed, by using optical technologies, PONs can transfer a large amount of data, and by ...
ICMCS
2008
IEEE
14 years 3 months ago
2008
IEEE
The heterogeneity of handheld terminals in terms of screen resolution, processing capabilities or available decoding memory is a challenge for multimedia services that have been t...