1897 search results - page 204 / 380 » eg 2007 |
ICCD
2007
IEEE
14 years 6 months ago
2007
IEEE
We have developed a new statistical timing analysis approach that does not impose any assumptions on the nature of manufacturing variability and takes into account an arbitrary mo...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
Personalized and context-aware services are of high interest for Mobile Network Operators (MNOs) to keep existing and win new subscribers. Although such services are already avail...
APSEC
2007
IEEE
14 years 3 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
BDIM
2007
IEEE
14 years 3 months ago
2007
IEEE
The assessment and mitigation of risks related to the availability of the IT infrastructure is becoming increasingly important in modern organizations. Unfortunately, present stan...