Sciweavers

467 search results - page 24 / 94
» Designer Definites in Logical Form
Sort
View
DATE
2007
IEEE
92views Hardware» more  DATE 2007»
15 years 6 months ago
Overcoming glitches and dissipation timing skews in design of DPA-resistant cryptographic hardware
Cryptographic embedded systems are vulnerable to Differential Power Analysis (DPA) attacks. In this paper, we propose a logic design style, called as Precharge Masked Reed-Muller ...
Kuan Jen Lin, Shan Chien Fang, Shih Hsien Yang, Ch...
ISORC
2000
IEEE
15 years 3 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
TSMC
2002
143views more  TSMC 2002»
14 years 11 months ago
Robot visual servoing with iterative learning control
Abstract--This paper presents an iterative learning scheme for visionguided robot trajectory tracking. At first, a stability criterion for designing iterative learning controller i...
Ping Jiang, Rolf Unbehauen
WWW
2006
ACM
15 years 5 months ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan
AAI
2000
138views more  AAI 2000»
14 years 11 months ago
Compositional Design and Reuse of a Generic Agent Model
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...