Sciweavers

5423 search results - page 214 / 1085
» Denial-of-service in automation systems
Sort
View
EWCBR
2008
Springer
15 years 8 months ago
Understanding Dubious Future Problems
Abstract. Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenan...
Oguz Mülâyim, Josep Lluís Arcos
FIW
2007
120views Communications» more  FIW 2007»
15 years 8 months ago
Problem-Oriented Feature Interaction Detection in Software Product Lines
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
Andreas Classen
CSL
2010
Springer
15 years 6 months ago
Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
Christian Sternagel, René Thiemann
JOT
2006
60views more  JOT 2006»
15 years 6 months ago
The Initium RJS Screensaver: Part 4, Automatic Deployment
The Intium RJS System makes use of screensavers to perform CPU scavenging for grid computing. This article shows how to automate the installation of the IRJS screensaver. The manu...
Douglas A. Lyon, Francisco Castellanos
LPAR
2010
Springer
15 years 4 months ago
Coping with Selfish On-Going Behaviors
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...
Orna Kupferman, Tami Tamir