Sciweavers

467 search results - page 24 / 94
» Designer Definites in Logical Form
Sort
View
DATE
2007
IEEE
92views Hardware» more  DATE 2007»
14 years 3 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
14 years 21 days 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»
13 years 8 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
14 years 3 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»
13 years 9 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...