13917 search results - page 2665 / 2784 » Abstraction of Probabilistic Systems |
213
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
168
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Given a public-key infrastructure (PKI) and digital signatures, it is possible to construct broadcast protocols tolerating any number of corrupted parties. Almost all exi...
193
click to vote
TVCG
2010
15 years 5 months ago
2010
— While a number of information visualization software frameworks exist, creating new visualizations, especially those that involve novel visualization metaphors, interaction tec...
180
click to vote
VLC
2010
15 years 5 months ago
2010
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...
198
click to vote
VLSISP
2010
15 years 5 months ago
2010
Abstract Polyphase channelizer is an important component of subband adaptive filtering systems. This paper presents an energy-efficient hardware architecture and VLSI implementatio...