1278 search results - page 188 / 256 » Programming Sensor Networks Using Abstract Regions |
135
Voted
ENTCS
2007
15 years 2 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
113
Voted
FORMATS
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
123
Voted
MICAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
129
click to vote
UCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Sensor networks using mobile robots have recently been proposed to deal with data communication in disruption tolerant networks (DTNs) where an instantaneous end-to-end p...
127
click to vote
ALS
2003
Springer
15 years 7 months ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...