2145 search results - page 204 / 429 » Lax Logical Relations |
98
Voted
TCS
2008
15 years 22 days ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
109
click to vote
TJS
2008
15 years 22 days ago
2008
A parallel file may be physically stored on several independent disks and logically partitioned by several processors. This paper presents general algorithms for mapping between t...
93
Voted
JLP
2010
14 years 11 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
105
Voted
ICFP
2008
ACM
16 years 24 days ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
117
Voted
SGAI
2009
Springer
15 years 7 months ago
2009
Springer
Planning resources for a supply chain is a major factor determining its success or failure. In this paper we build on previous work introducing an Interval Type-2 Fuzzy Logic mode...