Sciweavers

1040 search results - page 9 / 208
» Controlling Aspect Reentrancy
Sort
View
UML
2005
Springer
14 years 26 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 4 months ago
Managing Delegation in Access Control Models
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flex...
Meriam Ben-Ghorbel-Talbi, Frédéric C...
ARESEC
2011
110views more  ARESEC 2011»
12 years 7 months ago
ACON: Activity-Centric Access Control for Social Computing
—With increasing amount of sensitive user data stored in social computing systems (SCSs) and lack of consensus on how it should be protected under meaningful control by the avera...
Jaehong Park, Ravi S. Sandhu, Yuan Cheng
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
13 years 2 months ago
Controllability of homogeneous single-leader networks
This paper addresses an aspect of controllability in a single-leader network when the agents are homogeneous. In such a network, indices are not assigned to the individual agents a...
Philip Twu, Magnus Egerstedt, Simone Martini
INFORMS
2010
75views more  INFORMS 2010»
13 years 4 months ago
Improving the Efficiency and Efficacy of Controlled Sequential Bifurcation for Simulation Factor Screening
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...
Hong Wan, Bruce E. Ankenman, Barry L. Nelson