633 search results - page 98 / 127 » What's in a Service |
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
FOSAD
2000
Springer
14 years 1 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
USENIX
2008
14 years 6 days ago
2008
Electric energy consumed in data centers is rapidly growing. Power-aware IT, recently called `green IT', is widely recognized as a significant challenge. Disk storage is a no...
CBSE
2006
Springer
13 years 12 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
DAIS
2007
13 years 11 months ago
2007
Because they are required to support component deployment and composition, modern execution environments embody a number of common features such as dynamic linking and support for ...