10182 search results - page 1869 / 2037 » Case Studies |
200
click to vote
CCS
2003
ACM
16 years 8 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
205
click to vote
DAWAK
2003
Springer
16 years 8 days ago
2003
Springer
In a data warehouse (DW) environment, when the operational environment does not posses or does not want to inform the data about the changes that occurred, controls have to be impl...
221
click to vote
EWSPT
2003
Springer
16 years 8 days ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
215
click to vote
ICCS
2003
Springer
16 years 8 days ago
2003
Springer
This paper describes a monitoring tool for grid computing[5], called visPerf. It is difficult to see the status of a working production grid system without a customized monitorin...
164
click to vote
GLVLSI
2010
IEEE
16 years 4 days ago
2010
IEEE
Next generation industrial embedded platforms require the development of complex power and thermal management solutions. Indeed, an increasingly fine and intrusive thermal contro...