417 search results - page 37 / 84 » Orderings for Innermost Termination |
CLIMA
2004
13 years 9 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
The rapid diffusion of heterogeneous forms of wireless connectivity is pushing the tremendous growth of the commercial interest in mobile services, i.e., distributed applications ...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper exploits the use of location information of wireless terminals to improve the performance of a beamforming system and support multiple access. Based on a system provi...