727 search results - page 98 / 146 » Finite Resolution Dynamics |
142
click to vote
CC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
151
click to vote
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
The Role-Based Access Control (RBAC) model is traditionally used to manually assign users to appropriate roles, based on a specific enterprise policy, thereby authorizing them to ...
146
click to vote
INFOCOM
1999
IEEE
15 years 7 months ago
1999
IEEE
We propose a flow-control scheme for multicast ABR services in ATM networks. At the heart of the proposed scheme is an optimal secondorder rate control algorithm, called the -contr...
125
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- This paper studies the stabilizability of an ndimensional quantized feedforward nonlinear system. The state of that system is first quantized into a finite number of bit...
144
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...