Sciweavers

8719 search results - page 1348 / 1744
» Visualization of Distributed Processes Using
Sort
View
ATAL
2007
Springer
15 years 9 months ago
Negotiation by abduction and relaxation
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
Chiaki Sakama, Katsumi Inoue
C3S2E
2009
ACM
15 years 9 months ago
A verification framework for access control in dynamic web applications
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
ICMCS
2007
IEEE
203views Multimedia» more  ICMCS 2007»
15 years 9 months ago
Advanced Lagrange Multiplier Selection for Hybrid Video Coding
The Lagrangian multiplier based rate-distortion optimization has been proved to be an effective way in hybrid video coding. In this paper, an advanced Lagrange multiplier selectio...
Xiang Li, Norbert Oertel, Andreas Hutter, Andr&eac...
ASAP
2004
IEEE
123views Hardware» more  ASAP 2004»
15 years 8 months ago
A Packet Scheduling Algorithm for IPSec Multi-Accelerator Based Systems
IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these al...
Fabien Castanier, Alberto Ferrante, Vincenzo Piuri
APCCAS
2006
IEEE
373views Hardware» more  APCCAS 2006»
15 years 8 months ago
A New High Precision Low Offset Dynamic Comparator for High Resolution High Speed ADCs
A new low offset dynamic comparator for high resolution high speed analog-to-digital application has been designed. Inputs are reconfigured from the typical differential pair compa...
Vipul Katyal, Randall L. Geiger, Degang Chen
« Prev « First page 1348 / 1744 Last » Next »