Sciweavers

11097 search results - page 182 / 2220
» Hera presentation generator
Sort
View
SAC
2004
ACM
15 years 3 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 3 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 3 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 3 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 3 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...