Sciweavers

68 search results - page 3 / 14
» Design and Primitive Specification for Shannon
Sort
View
CHI
2006
ACM
14 years 7 months ago
A role for haptics in mobile interaction: initial design using a handheld tactile display prototype
Mobile interaction can potentially be enhanced with welldesigned haptic control and display. However, advances have been limited by a vicious cycle whereby inadequate haptic techn...
Jérôme Pasquero, Joseph Luk, Karon E....
ACMDIS
2000
ACM
13 years 11 months ago
The Building Blocks of Experience: An Early Framework for Interaction Designers
Design activity has recently attempted to embrace “designing the user experience.” Designers need to demystify how we design for user experience and how the products we design...
Jodi Forlizzi, Shannon Ford
BIRTHDAY
2010
Springer
13 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ENTCS
2006
141views more  ENTCS 2006»
13 years 6 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...
TODAES
2008
158views more  TODAES 2008»
13 years 6 months ago
Designing secure systems on reconfigurable hardware
The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integ...
Ted Huffmire, Brett Brotherton, Nick Callegari, Jo...