Sciweavers

3291 search results - page 251 / 659
» Technology and Challenges of M-Commerce
Sort
View
IAW
2003
IEEE
15 years 12 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
RTAS
2003
IEEE
15 years 12 months ago
Template-Based Real-Time Dwell Scheduling with Energy Constraint
This paper addresses the scheduling problem of radar dwells in multi-function phase array radars. Well-known and new challenges make it difficult to provide predictable performan...
Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra ...
SIGUCCS
2003
ACM
15 years 12 months ago
Putting OSX in an open access lab: (or "The Joy of X")
This paper discusses the challenges of putting Apple Macintosh OSX into open access and computer lab environments. Categories and Subject Descriptors K.6.4 [Management of Computin...
David L. R. Houston
DIGITALCITIES
2003
Springer
15 years 11 months ago
Digital Cities and the Opportunities for Mobilizing the Information Society: Case Studies from Portugal
The development of case studies in selected Portuguese cities and regions which have been engaged in “digital city” projects is considered in this paper in a way to discuss mai...
José L. Moutinho, Manuel V. Heitor
GCC
2003
Springer
15 years 11 months ago
Research on Integrating Service in Grid Portal
With the complexity of applications, researchers need more resources to resolve their computation. It is very important to provide the general interface to access the distributed r...
Zheng Feng, Shoubao Yang, Shanjiu Long, Dongfeng C...