23119 search results - page 4356 / 4624 » From Domain to Requirements |
158
click to vote
POLICY
2007
Springer
16 years 25 days ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
204
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
181
click to vote
QOSA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
209
click to vote
RECOMB
2007
Springer
16 years 25 days ago
2007
Springer
A complete understanding of transcriptional regulatory processes in the cell requires identification of transcription factor binding sites on a genomewide scale. Unfortunately, th...
169
click to vote
SAMOS
2007
Springer
16 years 25 days ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...