814 search results - page 75 / 163 » Analysis of Modular Arithmetic |
101
click to vote
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
This work addresses the problem of information leakage of cryptographic devices, by using the reconfiguration technique allied to an RNS based arithmetic. The information leaked b...
DBPL
1999
Springer
15 years 2 months ago
1999
Springer
We consider IES(SQL), the incremental evaluation system over an SQL-like language with grouping, arithmetics, and aggregation. We show that every second order query is in IES(SQL) ...
102
click to vote
ISSAC
1992
Springer
15 years 2 months ago
1992
Springer
Abstract. Lattice basis reduction is an important problem in geometry of numbers with applications in combinatorial optimization, computer algebra, and cryptography. The well-known...
FSS
2008
14 years 10 months ago
2008
The paper deals with a solution of a fuzzy interval system of linear equations, i.e. a system in which fuzzy intervals (numbers) appear instead of crisp numbers. We obtain general...