8676 search results - page 406 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
164
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Model reduction methods from diverse fields— including control, statistical mechanics and economics—aimed at systems that can be represented by Markov chains, are discusse...
158
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
Many algorithms have been proposed in the area of materialized view maintenance. They provide different capabilities and features, and have different complexity in their implement...
195
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
161
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
144
Voted
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...