Sciweavers

1316 search results - page 152 / 264
» A New Scheduling Algorithm for Servers
Sort
View
DEXAW
2004
IEEE
166views Database» more  DEXAW 2004»
14 years 2 months ago
Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...
Jean-Paul Arcangeli, Sebastien Leriche, Marc Pante...
IMCSIT
2010
13 years 8 months ago
Trusted Data in IBM's MDM: Accuracy Dimension
A good data model designed for e-Commerce or e-Government has little value if it lacks accurate, up-to-date data [22]. In this paper data quality measures, its processing and maint...
Przemyslaw Pawluk
AAI
2010
94views more  AAI 2010»
13 years 5 months ago
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
Ken Kaneiwa, Norihiro Kamide
INFOCOM
2011
IEEE
13 years 1 months ago
Multi-path routing and rate allocation for multi-source video on-demand streaming in wireless mesh networks
Abstract—We study the multi-source video on-demand application in multi-channel multi-radio wireless mesh networks. When a user initiates a new video request, the application can...
Yong Ding, Yang Yang, Li Xiao
CEC
2010
IEEE
13 years 10 months ago
Simulated Annealing for constructing binary covering arrays of variable strength
— This paper presents new upper bounds for binary covering arrays of variable strength constructed by using a new Simulated Annealing (SA) algorithm. This algorithm incorporates ...
Jose Torres-Jimenez, Eduardo Rodriguez-Tello