3718 search results - page 41 / 744 » IMPS: System Description |
ACSD
2009
IEEE
14 years 5 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...
GLOBECOM
2008
IEEE
14 years 5 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
14 years 5 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
14 years 5 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...
PPSWR
2005
Springer
14 years 4 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...