Sciweavers

2366 search results - page 111 / 474
» Mapping time
Sort
View
RTSS
2005
IEEE
15 years 8 months ago
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
Hakan Yazarel, Antoine Girard, George J. Pappas, R...
CTRSA
2005
Springer
121views Cryptology» more  CTRSA 2005»
15 years 8 months ago
Time-Selective Convertible Undeniable Signatures
Undeniable signatures were introduced in 1989 by Chaum and van Antwerpen to limit the self-authenticating property of digital signatures. An extended concept – the convertible un...
Fabien Laguillaumie, Damien Vergnaud
ICALT
2003
IEEE
15 years 7 months ago
Real-Time Collaborative Problem Solving: A Study on Alternative Coordination Mechanisms
It is believed that computer-supported collaboration at a distance can stimulate learning. In this paper an innovative environment that permits real-time collaborative problem sol...
Nikolaos M. Avouris, Meletis Margaritis, Vassilis ...
IPPS
1999
IEEE
15 years 6 months ago
The Case for Prediction-Based Best-Effort Real-Time Systems
Abstract. We propose a prediction-based best-effort real-time service to support distributed, interactive applications in shared, unreserved computing environments. These applicati...
Peter A. Dinda, Loukas F. Kallivokas, Bruce Loweka...
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 6 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...