Sciweavers

7781 search results - page 159 / 1557
» Experience Design
Sort
View
DAC
1994
ACM
14 years 1 months ago
Fitting Formal Methods into the Design Cycle
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
Kenneth L. McMillan
ECTEL
2008
Springer
13 years 11 months ago
A Supporting Architecture for Generic Service Integration in IMS Learning Design
Abstract. Learning Design offers the possibility of capturing the process, activities, user organization and resources used in a learning experience. But a wider set of scenarios a...
Luis de la Fuente Valentín, Yongwu Miao, Ab...
ACMDIS
2010
ACM
13 years 9 months ago
Visual design of physical user interfaces for NFC-based mobile interaction
Near Field Communication (NFC) can facilitate mobile interaction with everyday objects, associated digital information and ubiquitous services. Despite the simplicity of the touch...
Alina Hang, Gregor Broll, Alexander Wiethoff
DATE
2003
IEEE
113views Hardware» more  DATE 2003»
14 years 2 months ago
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
ICES
2007
Springer
70views Hardware» more  ICES 2007»
13 years 11 months ago
Evolutionary Design of Generic Combinational Multipliers Using Development
Combinational multipliers represent a class of circuits that is usually considered to be hard to design by means of the evolutionary techniques. However, experiments conducted unde...
Michal Bidlo