Sciweavers

3914 search results - page 186 / 783
» Automating SLA modeling
Sort
View
124
Voted
TSMC
2010
14 years 9 months ago
A Benchmark Diagnostic Model Generation System
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
Jun Wang, Gregory M. Provan
108
Voted
DSD
2009
IEEE
124views Hardware» more  DSD 2009»
15 years 9 months ago
Network-on-Chip Architecture Exploration Framework
— In this paper, we present a novel framework for the automated generation of Network-on-Chips (NoC) architectures, that enables architecture exploration and optimization. The au...
Timo Schönwald, Jochen Zimmermann, Oliver Bri...
88
Voted
PERCOM
2006
ACM
16 years 2 months ago
Proximity Based Access Control in Smart-Emergency Departments
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...
Sandeep K. S. Gupta, Tridib Mukherjee, Krishna K. ...
126
Voted
ICMT
2009
Springer
15 years 9 months ago
Managing Dependent Changes in Coupled Evolution
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
Antonio Cicchetti, Davide Di Ruscio, Alfonso Piera...
CSL
2001
Springer
15 years 7 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...