Sciweavers

14360 search results - page 253 / 2872
» Time Modeling in MARTE
Sort
View
ICDT
1999
ACM
154views Database» more  ICDT 1999»
14 years 2 months ago
Databases for Tracking Mobile Units in Real Time
Abstract. In this paper we consider databases representing information about moving objects (e.g. vehicles), particularly their location. We address the problems of updating and qu...
Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam C...
ISORC
1998
IEEE
14 years 2 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
EDCC
2008
Springer
14 years 12 days ago
Practical Setup Time Violation Attacks on AES
Faults attacks are a powerful tool to break some implementations of robust cryptographic algorithms such as AES [8] and DES [3]. Various methods of faults attack on cryptographic ...
Nidhal Selmane, Sylvain Guilley, Jean-Luc Danger
CGVR
2007
14 years 2 days ago
Simplified Muscle Dynamics for Appealing Real-Time Skin Deformation
- We propose significant simplifications in muscle modeling and simulation to facilitate real-time anatomical skin deformation for full-body articulated characters. The muscle shap...
Keng Siang Lee, Golam Ashraf
HASE
2008
IEEE
13 years 10 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri