3745 search results - page 48 / 749 » Sonic: System Description |
126
click to vote
DCC
2004
IEEE
16 years 1 months ago
2004
IEEE
The public key cryptosystems MST1 and MST2 make use of certain kinds of factorizations of finite groups. We show that generalizing such factorizations to infinite groups allows a ...
100
click to vote
ACSD
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
113
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper addresses the use of adaptive modulation in progressive image transmission with multiple description coding in conjunction with an Orthogonal Frequency Division Multi...
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...