Sciweavers

1850 search results - page 31 / 370
» Design-for-debugging of application specific designs
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 9 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
WWW
2001
ACM
14 years 10 months ago
Vinci: a service-oriented architecture for rapid development of web applications
Vinci is a local area service-oriented architecture designed for rapid development and management of robust web applications. Based on XML document exchange, Vinci is designed to ...
Rakesh Agrawal, Roberto J. Bayardo Jr., Daniel Gru...
DATE
2002
IEEE
101views Hardware» more  DATE 2002»
14 years 2 months ago
Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
Jan Vandenbussche, Erik Lauwers, K. Uyttenhove, Mi...
ICRA
2000
IEEE
95views Robotics» more  ICRA 2000»
14 years 2 months ago
Designing with Haptic Feedback
Haptic feedback is a design element for human-computer interfaces, and this paper discusses when and how it can be used to best effect in interactive applications. It begins with ...
Karon E. MacLean
ER
2005
Springer
155views Database» more  ER 2005»
14 years 3 months ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez