3130 search results - page 270 / 626 » Design Correctness of Digital Systems |
177
click to vote
SPC
2005
Springer
15 years 10 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
145
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes...
137
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes a fully automatic standard-cell layout synthesis system, CELLERITY. The system is flexible in supporting a wide variety of process technologies and a range of...
127
click to vote
EDCC
2008
Springer
15 years 6 months ago
2008
Springer
We present the design, correctness, and analysis of SONDe, a simple fully decentralized object deployment algorithm for highly requested systems. Given an object (service or data)...
129
click to vote
WSC
1997
15 years 6 months ago
1997
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...