Sciweavers

973 search results - page 83 / 195
» Arguing Using Opponent Models
Sort
View
ISF
2000
103views more  ISF 2000»
13 years 8 months ago
Oracles, Bards, and Village Gossips, or Social Roles and Meta Knowledge Management
Knowledge management systems are used widely in many different organizations, yet there are few models and theories which can be used to help introduce and apply them successfully....
Simon Masterton, Stuart Watt
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
14 years 2 months ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
13 years 10 months ago
Context-dependent multi-class classification with unknown observation and class distributions with applications to bioinformatic
We consider the multi-class classification problem, based on vector observation sequences, where the conditional (given class observations) probability distributions for each class...
Alex S. Baras, John S. Baras
ESORICS
2004
Springer
14 years 2 months ago
Redundancy and Diversity in Security
Redundancy and diversity are commonly applied principles for fault tolerance against accidental faults. Their use in security, which is attracting increasing interest, is less gene...
Bev Littlewood, Lorenzo Strigini
PPOPP
2003
ACM
14 years 2 months ago
Automated application-level checkpointing of MPI programs
Because of increasing hardware and software complexity, the running time of many computational science applications is now more than the mean-time-to-failure of highpeformance com...
Greg Bronevetsky, Daniel Marques, Keshav Pingali, ...