10038 search results - page 504 / 2008 » Model Checking for Managers |
187
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
As CMOS technology scales into the nanometer regime, power dissipation and associated thermal concerns in high-performance ICs due to on-chip hot-spots and thermal gradients are b...
204
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
According to statistics and future prospects in the next few years world-wide energy consumption will increase significantly. Therefore not only more energy efficient technologi...
211
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
167
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
The success of a business process (BP) depends on whether it meets its business goal as well as non-functional requirements associated with it. BP specifications frequently need to...
181
click to vote
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
We consider the problem of ensuring high data availability in federated content sharing systems. Ideally, such a system would provide high data availability in a device transparen...