4674 search results - page 216 / 935 » cases 2008 |
193
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
227
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
156
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we present a statistical model used to select coding parameters for a mixed resolution Wyner-Ziv framework implemented using the H.264/AVC standard. This paper exten...
125
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A considerable amount of research has been done on the use of logarithmic quantizers for networked feedback control systems. However, most results are developed for the case of...
155
click to vote
COMPSAC
2008
IEEE
16 years 29 days ago
2008
IEEE
We have measured the performance of transactional remote invocations over three commonly used transports: IIOP, SOAP/HTTP, and JBoss Remoting. In the IIOP case, our transactional ...