395 search results - page 18 / 79 » An Introduction to Rapid System Prototyping |
ESOP
2009
Springer
14 years 14 days ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
MMS
2008
13 years 8 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
RSP
2008
IEEE
14 years 3 months ago
2008
IEEE
ASIP-based implementations constitute a key trend in SoC design enabling optimal tradeoffs between performance and flexibility. This paper details a case study of an ASIP-based im...
ECIS
2000
13 years 10 months ago
2000
- In this paper we consider the way in which two representational forms, scenarios and design breakdowns, which have emerged in the tradition of participatory design are relevant w...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
User interfaces for ubiquitous augmented reality incorporate a wide variety of concepts such as multi-modal, multi-user, multi-device aspects and new input/output devices. In this...