Sciweavers

6192 search results - page 383 / 1239
» Structure benefits all
Sort
View
EL
2010
172views more  EL 2010»
15 years 6 months ago
Computer literacy skills of librarians: a case study of Isfahan University libraries, Iran
We live in a computer-centric information age. The number of computers in-use including in libraries is growing rapidly. Computer literacy, which is the ability to operate a compu...
Hajar Safahieh, Asefeh Asemi
IEE
2010
136views more  IEE 2010»
15 years 6 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
ISR
2010
15 years 6 months ago
Resource Allocation Policies for Personalization in Content Delivery Sites
One of the distinctive features of sites on the Internet is their ability to gather enormous amounts of information regarding their visitors, and use this information to enhance a...
Dengpan Liu, Sumit Sarkar, Chelliah Sriskandarajah
MSOM
2010
69views more  MSOM 2010»
15 years 6 months ago
Supplier Competition in Decentralized Assembly Systems with Price-Sensitive and Uncertain Demand
: In a decentralized assembly supply chain, independent suppliers produce a set of complementary components from which an assembler assembles a final product and sells it to the ma...
Li Jiang, Yunzeng Wang
ACSAC
2010
IEEE
15 years 5 months ago
Always up-to-date: scalable offline patching of VM images in a compute cloud
Patching is a critical security service that keeps computer systems up to date and defends against security threats. Existing patching systems all require running systems. With th...
Wu Zhou, Peng Ning, Xiaolan Zhang, Glenn Ammons, R...