5962 search results - page 935 / 1193 » Working with Patterns and Code |
144
Voted
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
167
click to vote
ICASSP
2009
IEEE
2009
IEEE
Benchmarking flexible adaptive time-frequency transforms for underdetermined audio source separation
15 years 11 months ago
We have implemented several fast and flexible adaptive lapped orthogonal transform (LOT) schemes for underdetermined audio source separation. This is generally addressed by time-...
130
click to vote
SSDBM
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a novel sensor network query processing architecture that (a) covers all the query optimization phases that are required to map a declarative query to executable code; ...
145
Voted
WIAMIS
2009
IEEE
15 years 11 months ago
2009
IEEE
We present an approach to key frame extraction for structuring user generated videos on video sharing websites (e. g. YouTube). Our approach is intended to link existing image sea...
134
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...