Sciweavers

7274 search results - page 1225 / 1455
» Abstractions for network update
Sort
View
MOBIDE
1999
ACM
15 years 11 months ago
Recovery Guarantees in Mobile Systems
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
Cris Pedregal Martin, Krithi Ramamritham
IPPS
1999
IEEE
15 years 11 months ago
An Adaptive, Fault-Tolerant Implementation of BSP for JAVA-Based Volunteer Computing Systems
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
Luis F. G. Sarmenta
CONCUR
1999
Springer
15 years 11 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
DSOM
1999
Springer
15 years 11 months ago
Programmable Agents for Active Distributed Monitoring
Abstract. The successful deploymentof next-generation distributedsystems is signi cantly dependent on the e cient management support that improves the performance and reliability o...
Ehab S. Al-Shaer
IWANN
1999
Springer
15 years 11 months ago
Support Vector Machines for Multi-class Classification
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
Eddy Mayoraz, Ethem Alpaydin
« Prev « First page 1225 / 1455 Last » Next »