Sciweavers

2949 search results - page 296 / 590
» Transformations in Information Supply
Sort
View
DFT
1998
IEEE
78views VLSI» more  DFT 1998»
15 years 11 months ago
A System for Evaluating On-Line Testability at the RT-level
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
Silvia Chiusano, Fulvio Corno, Matteo Sonza Reorda...
155
Voted
ICICS
1997
Springer
15 years 10 months ago
Stateless connections
We describe a secure transformation of stateful connections or parts of them into stateless ones by attaching the state information to the messages. Secret-key cryptography is used...
Tuomas Aura, Pekka Nikander
ECAI
2006
Springer
15 years 10 months ago
On the Existence of Answer Sets in Normal Extended Logic Programs
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
Martin Caminada, Chiaki Sakama
AAAI
2007
15 years 9 months ago
An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains
Online mechanism design considers the problem of sequential decision making in a multi-agent system with self-interested agents. The agent population is dynamic and each agent has...
David C. Parkes, Quang Duong
DIMEA
2008
182views Multimedia» more  DIMEA 2008»
15 years 8 months ago
Achieving pervasive awareness through artwork
Aesthetics and ludic aspects of pervasive awareness applications make the awareness system more attractive and aesthetically pleasing to its users. The same objective can be achie...
Salah Uddin Ahmed