2393 search results - page 412 / 479 » Adaptive Narrative Abstraction |
160
click to vote
SAB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Audition and touch endow spectral processing abilities allowing texture recognition and discrimination. Rat whiskers sensorisystem exhibits, as the cochlea, resonance pro...
167
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper considers the novel area of quality-ofinformation (QoI)-aware network management of multitasking wireless sensor networks (WSNs). Specifically, it provides an ...
200
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In distributed embedded systems operated by battery, energy management is a critical issue that has to be addressed at different architecture levels. For systems that tig...
207
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
188
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...