15840 search results - page 408 / 3168 » The Control of Synchronous Systems |
395
click to vote
Book
This book shows that several system and control theory problems can be reduced to a few standard convex or quasiconvex optimization problems involving linear matrix inequalities (L...
146
Voted
CCGRID
2007
IEEE
15 years 11 months ago
2007
IEEE
We develop a consistent mutable replication extension for NFSv4 tuned to meet the rigorous demands of largescale data sharing in global collaborations. The system uses a hierarchi...
137
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
144
Voted
ACMDIS
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we report our findings on the impact of providing users with varying degrees of control in an automated interactive scheduling system. While automated scheduling te...
126
Voted
APPML
2010
15 years 5 months ago
2010
The problem of computing numerically the boundary exact control for the system of linear elasticity in 2D is addressed. A numerical method which has been recently proposed in [Stu...