647 search results - page 65 / 130 » Implementation of MAP: A system for mobile assistant program... |
204
click to vote
FCCM
2008
IEEE
16 years 14 days ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
187
click to vote
TYPES
1995
Springer
15 years 9 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
159
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
In current mobile navigation systems users receive the navigational instructions on a visual display or by descriptive audio. The mapping between the provided navigation informati...
205
click to vote
MOBISYS
2008
ACM
16 years 5 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
187
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—We present the design and implementation of ADAM, the first adaptive beamforming based multicast system and experimental framework for indoor wireless environments. ADAM addres...