Sciweavers

2613 search results - page 176 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
DSE
1998
80views more  DSE 1998»
15 years 5 months ago
The Voltan application programming environment for fail-silent processes
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
Dave Black, C. Low, Santosh K. Shrivastava
CP
2007
Springer
16 years 12 days ago
The Log-Support Encoding of CSP into SAT
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
Marco Gavanelli
OSDI
2008
ACM
16 years 6 months ago
Predicting Computer System Failures Using Support Vector Machines
Mitigating the impact of computer failure is possible if accurate failure predictions are provided. Resources, applications, and services can be scheduled around predicted failure...
Errin W. Fulp, Glenn A. Fink, Jereme N. Haack
ISM
2008
IEEE
104views Multimedia» more  ISM 2008»
16 years 19 days ago
Provision of Quality of Service with Router Support
The current Internet servers are susceptible to network attacks. The DDoS attacks consume the network bandwidth and degrade the services provided by the servers. This paper propos...
Hongli Luo, Mei-Ling Shyu
JUCS
2010
136views more  JUCS 2010»
15 years 4 months ago
Multi-Purpose Infrastructure for Delivering and Supporting Mobile Context-Aware Applications
: The use of contextual information in mobile devices is receiving increasing attention in mobile and ubiquitous computing research. An important requirement for mobile development...
Juan Miguel López, Montserrat Sendín