12194 search results - page 242 / 2439 » cans 2010 |
169
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
157
click to vote
AMC
2010
15 years 1 months ago
2010
In an epidemiological model, time spent in one compartment is often modeled by a delay in the model. In general the presence of delay in differential equations can change the stab...
174
click to vote
CAP
2010
15 years 1 months ago
2010
Computing the minimal elements of a partially ordered finite set (poset) is a fundamental problem in combinatorics with numerous applications such as polynomial expression optimiz...
262
click to vote
COMPLEXITY
2010
15 years 1 months ago
2010
The paper presents the use of signal regulatory networks, a biologically-inspired model based on gene regulatory networks. Signal regulatory networks are a way of understanding a ...
184
click to vote
DASIP
2010
15 years 1 months ago
2010
This paper describes the implementation of the MPEG AVC CABAC entropy decoder using the RVC-CAL dataflow programming language. CABAC is the Context based Adaptive Binary Arithmeti...