Sciweavers

5423 search results - page 857 / 1085
» Denial-of-service in automation systems
Sort
View
CSL
2005
Springer
16 years 26 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
ICCBR
2005
Springer
16 years 25 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 25 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 25 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
ICCBR
2005
Springer
16 years 25 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