10159 search results - page 1926 / 2032 » System Design Validation Using Formal Models |
WETICE
1998
IEEE
14 years 12 days ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...
ACMICEC
2007
ACM
14 years 5 days ago
2007
ACM
Needs-based analysis lies at the intersection of product marketing and new product development. It is the study of why consumers purchase and what they do with those purchases. In...
CCGRID
2004
IEEE
13 years 12 months ago
2004
IEEE
We describe design and implementation of a "Gridenabled" message passing library, in the context of Phoenix message passing model. It supports (1) message routing betwee...
HHCI
2000
13 years 11 months ago
2000
In this paper we discuss the design of computer-based haptic graphs for blind and visually impaired people with the support of our preliminary experimental results. Since visual i...
PACS
2000
Springer
13 years 11 months ago
2000
Springer
Power dissipation is a major concern not only for portable systems, but also for high-performance systems. In the past, energy consumption and processor heating was reduced mainly...