3931 search results - page 516 / 787 » Separation logic and abstraction |
189
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we describe the middleware that has evolved from our attempt to capture user descriptions of policies controlling devices and services from natural language. Descri...
174
click to vote
LATA
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
220
click to vote
HIPEAC
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Multi-core processors with shared last-level caches are vulnerable to performance inefficiencies and fairness issues when the cache is not carefully managed between the m...
189
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
214
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...