437 search results - page 81 / 88 » Automatic Generation of Implied Constraints |
AEI
2000
13 years 7 months ago
2000
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
POLICY
2007
Springer
14 years 1 months 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’...
SAMOS
2007
Springer
14 years 1 months 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 ...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
COLCOM
2009
IEEE
14 years 2 days ago
2009
IEEE
— Video streaming on mobile devices such as PDA’s, laptop PCs, pocket PCs and cell phones is becoming increasingly popular. These mobile devices are typically constrained by th...