946 search results - page 68 / 190 » Process Algebra and Non-Interference |
FCCM
2009
IEEE
14 years 1 months ago
2009
IEEE
Geometric algebra (GA) is a mathematical framework that allows the compact description of geometric relationships and algorithms in many fields of science and engineering. The exe...
DEXAW
2004
IEEE
14 years 1 months ago
2004
IEEE
Database-like query processing over a network of sensors has become an attractive paradigm for building sensor applications. A sensor query is characterized by data streams among ...
FSE
2006
Springer
14 years 1 months ago
2006
Springer
The purpose of algebraic attacks on stream and block ciphers is to recover the secret key by solving an overdefined system of multivariate algebraic equations. They become very eff...
SIP
2003
13 years 11 months ago
2003
This paper presents an algebraic approach to construct Mband orthogonal wavelet bases. A system of constraint equations is obtained for M-band orthonormal filters, and then a solu...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...