972 search results - page 164 / 195 » Reasoning with Conditional Time-Intervals |
ISPD
2004
ACM
14 years 1 months ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
KBSE
1995
IEEE
13 years 11 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
SODA
2008
ACM
13 years 9 months ago
2008
ACM
We introduce a new feature size for bounded domains in the plane endowed with an intrinsic metric. Given a point x in a domain X, the homotopy feature size of X at x measures half...
IMAGING
2003
13 years 9 months ago
2003
The accuracy of color image-acquisition systems is most often evaluated using test targets of uniform color patches imaged under optimal conditions. In artwork imaging, system per...