305 search results - page 50 / 61 » A Logical Framework to Deal with Variability |
95
Voted
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
125
click to vote
ICIW
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
CIMCA
2006
IEEE
15 years 5 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
CIA
2004
Springer
15 years 5 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
PPDP
2004
Springer
15 years 5 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...