Sciweavers

17082 search results - page 232 / 3417
» Abstractions for Mobile Computation
Sort
View
BIRTHDAY
2010
Springer
14 years 3 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
CSL
2001
Springer
14 years 3 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
AINA
2007
IEEE
13 years 11 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
ECAGENTS
2001
Springer
150views ECommerce» more  ECAGENTS 2001»
14 years 3 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...
ICDCS
1998
IEEE
14 years 3 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