Sciweavers

8658 search results - page 268 / 1732
» Models of Command and Control
Sort
View
ADBIS
1997
Springer
149views Database» more  ADBIS 1997»
15 years 10 months ago
Concurrency Control Protocol for Nested Transactions in Real-Time Databases
In this paper we consider real-time concurrency control for the nested transaction model. We analyze problems that have pure optimistic and pessimistic approaches. As the solution...
Ekaterina Pavlova, Igor Nekrestyanov
WSC
2007
15 years 9 months ago
Non-linear control variates for regenerative steady-state simulation
We assume the existence of a parameterized family of control variates that could be used in a regenerative steady-state simulation. We show how such controls can be generated in t...
Sujin Kim, Shane G. Henderson
CISS
2008
IEEE
16 years 1 months ago
Achieving network stability and user fairness through admission control of TCP connections
—This paper studies a network under TCP congestion control, in which the number of flows per user is explicitly taken into account. We present a control law for this variable th...
Andrés Ferragut, Fernando Paganini
ICC
2007
IEEE
16 years 28 days ago
A Grammar for Specifying Usage Control Policies
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
Rafael Teigao, Carlos Maziero, Altair Olivo Santin
ICFEM
2007
Springer
16 years 23 days ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald