Sciweavers

999 search results - page 157 / 200
» Constraints in Non-Boolean Contexts
Sort
View
SP
1999
IEEE
145views Security Privacy» more  SP 1999»
15 years 10 months ago
A User-Centered, Modular Authorization Service Built on an RBAC Foundation
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
Mary Ellen Zurko, Richard Simon, Tom Sanfilippo
VLSID
1999
IEEE
93views VLSI» more  VLSID 1999»
15 years 10 months ago
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...
Noel Menezes, Chung-Ping Chen
VLSID
1999
IEEE
100views VLSI» more  VLSID 1999»
15 years 10 months ago
Satisfiability-Based Detailed FPGA Routing
In this paper we address the problem of detailed FPGA routing using Boolean formulation methods. In the context of FPGA routing where routing resources are fixed, Boolean formulat...
Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar
HICSS
1998
IEEE
90views Biometrics» more  HICSS 1998»
15 years 10 months ago
Real-Time New Product Development in Financial Services: Some Managerial Implications
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
Pete Naudé, Ian D. Blackman, S. Dengler
DASFAA
1997
IEEE
112views Database» more  DASFAA 1997»
15 years 10 months ago
Client-Server Optimization for Multimedia Document Exchange
The success of the World Wide Web is boosting the development of multimedia database systems and their integration into the internet. For the documents stored and exchanged in the...
Gerhard Köstler, Wolfgang L. J. Kowarschick, ...