Sciweavers

2951 search results - page 244 / 591
» Trustable Task Processing Systems
Sort
View
DEBS
2007
ACM
15 years 10 months ago
A system for semantic data fusion in sensor networks
Emerging sensor network technologies are expected to substantially augment applications such as environmental monitoring, health-care, and home/commercial automation. However, muc...
Alex Wun, Milenko Petrovic, Hans-Arno Jacobsen
ATAL
2010
Springer
15 years 7 months ago
Role evolution in Open Multi-Agent Systems as an information source for trust
In Open Multi-Agent Systems (OMAS), deciding with whom to interact is a particularly difficult task for an agent, as repeated interactions with the same agents are scarce, and rep...
Ramón Hermoso, Holger Billhardt, Sascha Oss...
EXPERT
2008
78views more  EXPERT 2008»
15 years 6 months ago
Odor Recognition for Intelligent Systems
An electronic nose (e-nose) is an intelligent sensing device that uses an array of gas sensors of partial and overlapping selectivity along with a pattern recognition component to...
Amy Loutfi, Silvia Coradeschi
PLDI
2006
ACM
16 years 15 days ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
ADAEUROPE
2005
Springer
16 years 3 days ago
Non-intrusive System Level Fault-Tolerance
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
Kristina Lundqvist, Jayakanth Srinivasan, Sé...