305 search results - page 18 / 61 » A Logical Framework to Deal with Variability |
104
click to vote
BIRTHDAY
2010
Springer
15 years 7 hour ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
JWSR
2007
14 years 11 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
187
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
101
click to vote
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
100
click to vote
WISE
2002
Springer
15 years 4 months ago
2002
Springer
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...