2487 search results - page 195 / 498 » cases 2009 |
174
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
178
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
167
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
186
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
145
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
Let A be a randomized, unlimited supply, unit demand, single-item auction, which given a bid-vector b ∈ [h]n , has expected profit E[P(b)]. Aggarwal et al. showed that given A, ...