Sciweavers

7956 search results - page 261 / 1592
» Into the Future
Sort
View
ISORC
2005
IEEE
16 years 25 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ITRE
2005
IEEE
16 years 25 days ago
A challenge to the GUI-centric paradigm of information education for the general public
— We contrast the current paradigm of information education for the general public with that of mathematics and of foreign languages. This contrast exposes the questionable menta...
Chao-Kuei Hung, Yen-Liang Shen
WONS
2005
IEEE
16 years 25 days ago
A Partition Prediction Algorithm for Service Replication in Mobile Ad Hoc Networks
Due to the mobility of nodes in Ad hoc networks, network topology is dynamic and unpredictable, which leads to frequent network partitioning. This partitioning disconnects many no...
Abdelouahid Derhab, Nadjib Badache, Abdelmadjid Bo...
WONS
2005
IEEE
16 years 25 days ago
Co-operative Downloading in Vehicular Ad-Hoc Wireless Networks
Increasing need for people to be “connected”; while at the same time remain as mobile as ever poses several interesting issues in wireless networks. It is conceivable in the n...
Alok Nandan, Shirshanka Das, Giovanni Pau, Mario G...
ISLPED
2005
ACM
87views Hardware» more  ISLPED 2005»
16 years 25 days ago
Runtime identification of microprocessor energy saving opportunities
High power consumption and low energy efficiency have become significant impediments to future performance improvements in modern microprocessors. This paper contributes to the so...
W. L. Bircher, M. Valluri, J. Law, L. K. John