Sciweavers

663 search results - page 65 / 133
» PKI design for the real world
Sort
View
ADAEUROPE
1997
Springer
15 years 4 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey
CCL
1994
Springer
15 years 4 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 3 months ago
Improving the performance of active set based Model Predictive Controls by dataflow methods
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
Ruirui Gu, Shuvra S. Bhattacharyya, William S. Lev...
CSCW
2006
ACM
15 years 3 months ago
An exploratory analysis of partner action and camera control in a video-mediated collaborative task
This paper reports on an exploratory experimental study of the relationships between physical movement and desired visual information in the performance of video-mediated collabor...
Abhishek Ranjan, Jeremy P. Birnholtz, Ravin Balakr...
ATAL
1995
Springer
15 years 3 months ago
Alarms: An Implementation of Motivated Agency
Autonomousagentsin the real world must be capableof asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of go...
Timothy J. Norman, Derek Long