Sciweavers

5423 search results - page 857 / 1085
» Denial-of-service in automation systems
Sort
View
CSL
2005
Springer
16 years 5 days ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
154
Voted
ICCBR
2005
Springer
16 years 5 days ago
Supporting Conversation Variability in COBBER Using Causal Loops
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
Hector Gómez-Gauchía, Belén D...
ICCBR
2005
Springer
16 years 5 days ago
Opportunities for CBR in Learning by Doing
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
Pedro Pablo Gómez-Martín, Marco Anto...
ICCBR
2005
Springer
16 years 5 days ago
A Similarity Measure for Task Contexts
Knowledge workers are often embedded in an organizational setting, where execution of processes allows for appropriate, context-sensitive support. When a knowledge worker starts a ...
Roza Shkundina, Sven Schwarz
180
Voted
ICCBR
2005
Springer
16 years 5 days ago
Selecting the Best Units in a Fleet: Performance Prediction from Equipment Peers
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...
Anil Varma, Kareem S. Aggour, Piero P. Bonissone