1585 search results - page 17 / 317 » A framework for computer-aided validation |
ECOWS
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...
JSS
2008
14 years 11 months ago
2008
COVAMOF is a variability management framework for product families that was developed to reduce the number of iterations required during product derivation and to reduce the depen...
104
click to vote
ISPD
2010
ACM
15 years 6 months ago
2010
ACM
Double Patterning Lithography (DPL) is one of the few hopeful candidate solutions for the lithography for CMOS process beyond 45nm. DPL assigns the patterns less than a certain di...
ISPD
2005
ACM
15 years 5 months ago
2005
ACM
Research in floorplanning and block-packing has generated a variety of data structures to represent spatial configurations of circuit modules. Much of this work focuses on the g...
GLVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
Octagonal Steiner Minimal Trees (OSMTs) are used in the global routing phase of pervasive octagonal VLSI layout. The OSMT problem seeks a minimal length spanning structure using e...