1950 search results - page 292 / 390 » Lambda-Free Logical Frameworks |
170
click to vote
HICSS
2005
IEEE
16 years 1 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
172
click to vote
ICDE
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
152
click to vote
SP
2005
IEEE
16 years 14 hour ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
153
click to vote
BIRTHDAY
2005
Springer
15 years 12 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...
175
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...