3291 search results - page 474 / 659 » Technology and Challenges of M-Commerce |
227
click to vote
ICW
2005
IEEE
16 years 5 days ago
2005
IEEE
— Ad hoc and wireless sensor networks have recently emerged as successful technologies in a number of application domains. The need to build security services into them remains h...
207
click to vote
IDEAS
2005
IEEE
16 years 5 days ago
2005
IEEE
The recent proliferation of XML-based standards and technologies for managing data on the Web demonstrates the need for effective and efficient management of treestructured data....
171
click to vote
IPPS
2005
IEEE
16 years 5 days ago
2005
IEEE
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity ...
152
click to vote
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
16 years 4 days ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
201
click to vote
WORDS
2005
IEEE
16 years 4 days ago
2005
IEEE
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...