3199 search results - page 152 / 640 » Variability in Automation System Models |
104
click to vote
LICS
1989
IEEE
15 years 6 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...
118
Voted
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
128
Voted
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
69
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
113
click to vote
ESSOS
2009
Springer
15 years 9 months ago
2009
Springer
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...