5722 search results - page 423 / 1145 » Dynamic inference control |
178
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
219
click to vote
INFOCOM
2003
IEEE
16 years 23 days ago
2003
IEEE
— The core-stateless service architecture alleviates the scalability problems of the integrated service framework while maintaining its guaranteed service semantics. The admissio...
206
click to vote
HYBRID
2003
Springer
16 years 20 days ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
196
Voted
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
204
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
Controlling the quality of collaborative multimedia sessions, that deploy multiple media streams, is a challenging problem. In this paper, we present a framework for achieving qua...