3256 search results - page 503 / 652 » Applications of Formal Methods to System Design and Verifica... |
100
click to vote
FASE
2010
Springer
14 years 8 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
SLIP
2004
ACM
15 years 3 months ago
2004
ACM
Throughput, power consumption, signal integrity, pin count and routing complexity are all increasingly important interconnect issues that the system designer must deal with. Recen...
104
click to vote
WSC
2000
14 years 11 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
KDD
2005
ACM
15 years 10 months ago
2005
ACM
Addressed in this paper is the issue of `email data cleaning' for text mining. Many text mining applications need take emails as input. Email data is usually noisy and thus i...
SIGGRAPH
1995
ACM
15 years 1 months ago
1995
ACM
The use of prediction to eliminate or reduce the effects of system delays in Head-Mounted Display systems has been the subject of several recent papers. A variety of methods have ...