Sciweavers

10539 search results - page 1718 / 2108
» On L
Sort
View
JCP
2006
104views more  JCP 2006»
15 years 6 months ago
Symmetric Active/Active High Availability for High-Performance Computing System Services
Abstract-- This work aims to pave the way for high availability in high-performance computing (HPC) by focusing on efficient redundancy strategies for head and service nodes. These...
Christian Engelmann, Stephen L. Scott, Chokchai Le...
JSS
2008
92views more  JSS 2008»
15 years 6 months ago
A Web services-based framework for building componentized digital libraries
We present a new Web services-based framework for building componentized digital libraries (DLs). We particularly demonstrate how traditional RDBMS technology can be easily deploy...
Rodrygo L. T. Santos, Pablo A. Roberto, Marcos And...
JSW
2008
163views more  JSW 2008»
15 years 6 months ago
Model-Driven User Requirements Specification using SysML
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...
Michel dos Santos Soares, Jos L. M. Vrancken
DM
2007
135views more  DM 2007»
15 years 6 months ago
Heavy fans, cycles and paths in weighted graphs of large connectivity
A set of paths joining a vertex y and a vertex set L is called (y, L)-fan if any two of the paths have only y in common, and its width is the number of paths forming it. In weight...
Jun Fujisawa
JSYML
2008
78views more  JSYML 2008»
15 years 6 months ago
Hierarchies of forcing axioms I
Abstract. We prove new upper bound theorems on the consistency strengths of SPFA(), SPFA(-linked) and SPFA(+ -cc). Our results are in terms of (, )-subcompactness, which is a new l...
Itay Neeman, Ernest Schimmerling
« Prev « First page 1718 / 2108 Last » Next »