322 search results - page 31 / 65 » Expressive power and abstraction in Essence |
107
click to vote
CADE
2001
Springer
16 years 1 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
81
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
134
click to vote
ICDT
1997
ACM
15 years 5 months ago
1997
ACM
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
DSL
2009
14 years 11 months ago
2009
Abstract. Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of cust...
115
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—In multiuser diversity systems, the impact of largescale fading on the total system performance such as link quality and system power has not been widely addressed. Cons...