502 search results - page 63 / 101 » An Audit Logic for Accountability |
GLVLSI
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we discuss a methodology to design and synthesize analog CMOS components such as RF amplifiers. The inputs of the synthesis tool are the circuit specifications desc...
EDCC
2010
Springer
14 years 16 days ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
WILF
2009
Springer
14 years 7 days ago
2009
Springer
Digital video stabilization approaches typically degrade their performances in presence of periodic patterns. Any kind of matching between consecutive frames is not usually able to...
DEXA
2001
Springer
14 years 6 days ago
2001
Springer
In this paper we investigate various aspects of representing multidimensional information in the frame of the WWW. Multidimensional XML (MXML) is an extension of XML suitable for r...
PACT
2001
Springer
14 years 4 days ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...