477 search results - page 77 / 96 » The Case For Personal Computers As Workstations |
119
Voted
SAC
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
120
Voted
WS
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present a man-in-the-middle attack on the Universal Mobile Telecommunication Standard (UMTS), one of the newly emerging 3G mobile technologies. The attack allows ...
129
click to vote
MOBICOM
2003
ACM
15 years 7 months ago
2003
ACM
We develop algorithms for finding minimum energy disjoint paths in an all-wireless network, for both the node and linkdisjoint cases. Our major results include a novel polynomial...
135
click to vote
HYBRID
1998
Springer
15 years 6 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
134
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...