Sciweavers

775 search results - page 63 / 155
» Interface Design Techniques for Single-Chip Systems
Sort
View
ICFEM
2009
Springer
13 years 5 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
ISMVL
2010
IEEE
209views Hardware» more  ISMVL 2010»
14 years 29 days ago
Secure Design Flow for Asynchronous Multi-valued Logic Circuits
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev
OZCHI
2006
ACM
14 years 1 months ago
AuraOrb: using social awareness cues in the design of progressive notification appliances
One of the problems with notification appliances is that they can be distracting when providing information not of immediate interest to the user. In this paper, we present AuraOr...
Mark Altosaar, Roel Vertegaal, Changuk Sohn, Danie...
AAI
2000
182views more  AAI 2000»
13 years 7 months ago
Implementing a Business Process Management System Using ADEPT: A Real-World Case Study
: This paper describes how ADEPT's agent-based design and implementation philosophy was used to prototype a business process management system for a real-world application. Th...
Nicholas R. Jennings, Peyman Faratin, Timothy J. N...
INFOVIS
2005
IEEE
14 years 1 months ago
Vizster: Visualizing Online Social Networks
Recent years have witnessed the dramatic popularity of online social networking services, in which millions of members publicly articulate mutual "friendship" relations....
Jeffrey Heer, Danah Boyd