Sciweavers

11097 search results - page 182 / 2220
» Hera presentation generator
Sort
View
SAC
2004
ACM
15 years 11 months ago
Code generation techniques for developing light-weight XML Web services for embedded devices
This paper presents specialized code generation techniques and runtime optimizations for developing light-weight XML Web services for embedded devices. The optimizations are imple...
Robert van Engelen
ARGMAS
2004
Springer
15 years 11 months ago
On the Generation of Bipolar Goals in Argumentation-Based Negotiation
The notion of agent’s goals is crucial in negotiation dialogues. In fact, during a negotiation, each agent tries to make and to accept the offers which satisfy its own goals. Wor...
Leila Amgoud, Souhila Kaci
FATES
2004
Springer
15 years 11 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural
FPL
2004
Springer
142views Hardware» more  FPL 2004»
15 years 11 months ago
IP Generation for an FPGA-Based Audio DAC Sigma-Delta Converter
In this paper we describe a parameterizable FPGA-based implementation of a sigma-delta converter used in a 96kHz audio DAC. From specifications of the converter’s input bitwidth...
Ralf Ludewig, Oliver Soffke, Peter Zipf, Manfred G...
FSE
2004
Springer
84views Cryptology» more  FSE 2004»
15 years 11 months ago
Vulnerability of Nonlinear Filter Generators Based on Linear Finite State Machines
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...
Jin Hong, Dong Hoon Lee 0002, Seongtaek Chee, Pala...