322 search results - page 31 / 65 » Expressive power and abstraction in Essence |
158
Voted
CADE
2001
Springer
16 years 6 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...
124
click to vote
MODELS
2009
Springer
16 years 19 days 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...
186
click to vote
ICDT
1997
ACM
15 years 10 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...
157
Voted
DSL
2009
15 years 3 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...
171
click to vote
ICC
2009
IEEE
16 years 25 days 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...