Sciweavers

3381 search results - page 67 / 677
» Extending Dependencies with Conditions
Sort
View
CSFW
2006
IEEE
16 years 6 days ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
IJBC
2008
83views more  IJBC 2008»
15 years 6 months ago
Existence and Stability of Periodic orbits of Periodic Difference Equations with Delays
In this paper, we investigate the existence and stability of periodic orbits of the p-periodic difference equation with delays xn = f(n - 1, xn-k). We show that the periodic orbit...
Ziyad Alsharawi, James Angelos, Saber Elaydi
TCAD
1998
125views more  TCAD 1998»
15 years 5 months ago
BDD-based synthesis of extended burst-mode controllers
Abstract—We examine the implications of a new hazard-free combinational logic synthesis method [1], which generates multiplexor-based networks from binary decision diagrams (BDDs...
Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas ...
SIGMOD
2004
ACM
160views Database» more  SIGMOD 2004»
16 years 6 months ago
Extending Query Rewriting Techniques for Fine-Grained Access Control
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
Shariq Rizvi, Alberto O. Mendelzon, S. Sudarshan, ...
ICDCSW
2002
IEEE
15 years 11 months ago
Extended Minimal Routing in 2-D Meshes with Faulty Blocks
In this paper, several enhanced sufficient conditions are given for minimal routing in 2-dimensional (2-D) meshes with faulty nodes contained in a set of disjoint faulty blocks. ...
Jie Wu, Zhen Jiang