3994 search results - page 648 / 799 » A Linear Logical Framework |
180
Voted
TIME
2006
IEEE
16 years 29 days ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...
157
click to vote
DATE
2005
IEEE
16 years 17 days ago
2005
IEEE
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...
191
click to vote
HICSS
2005
IEEE
16 years 17 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...
187
click to vote
ICDE
2005
IEEE
16 years 17 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 ...
157
Voted
SP
2005
IEEE
16 years 16 days 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]. ...