Sciweavers

17082 search results - page 232 / 3417
» Abstractions for Mobile Computation
Sort
View
BIRTHDAY
2010
Springer
15 years 8 months ago
A Scalable Segmented Decision Tree Abstract Domain
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
99
Voted
CSL
2001
Springer
15 years 8 months ago
An Abstract Look at Realizability
act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
Edmund Robinson, Giuseppe Rosolini
182
Voted
AINA
2007
IEEE
15 years 3 months ago
Using Mobile Agent-Based Middleware to Support Distributed Coordination for Vehicle Telematics
With an increasing number of vehicles equipped with embedded computing platforms and advanced wireless technology, general purpose vehicle telematics applications are highly promi...
Jinhua Guo, Guangming Xing
208
Voted
ECAGENTS
2001
Springer
150views ECommerce» more  ECAGENTS 2001»
15 years 8 months ago
Security Issues in M-Commerce: A Usage-Based Taxonomy
Abstract. M–commerce is a new area arising from the marriage of electronic commerce with emerging mobile and pervasive computing technology. The newness of this area—and the ra...
Suresh Chari, Parviz Kermani, Sean W. Smith, Leand...
132
Voted
ICDCS
1998
IEEE
15 years 7 months ago
NFS/M: An Open Platform Mobile File System
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
John C. S. Lui, Oldfield K. Y. So, T. S. Tam