Sciweavers

3338 search results - page 406 / 668
» Assigning Papers to Referees
Sort
View
CLOUDCOM
2009
Springer
16 years 1 months ago
SLA-Driven Adaptive Resource Management for Web Applications on a Heterogeneous Compute Cloud
Current service-level agreements (SLAs) offered by cloud providers make guarantees about quality attributes such as availability. However, although one of the most important quali...
Waheed Iqbal, Matthew Dailey, David N. Carrera
JSSPP
2009
Springer
16 years 1 months ago
Contention-Aware Scheduling with Task Duplication
Scheduling a task graph onto several processors is a trade-off between maximising concurrency and minimising interprocessor communication. A technique to reduce or avoid interproc...
Oliver Sinnen, Andrea To, Manpreet Kaur
SEMWEB
2009
Springer
16 years 1 months ago
Axiomatic First-Order Probability
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
Kathryn B. Laskey
TLCA
2009
Springer
16 years 1 months ago
Initial Algebra Semantics for Cyclic Sharing Structures
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
Makoto Hamana
EICS
2009
ACM
16 years 1 months ago
How usable are operational digital libraries: a usability evaluation of system interactions
This paper reports a usability evaluation of three operational digital libraries (DLs): the ACM DL, the IEEE Computer Society DL, and the IEEE Xplore DL. An experiment was conduct...
Xiangmin Zhang, Jingjing Liu, Yuelin Li, Ying Zhan...