8676 search results - page 376 / 1736 » A Feature Model for an IDE4OCL |
157
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...
194
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...
159
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...
143
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...
157
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
In this paper we will describe several methods that solve, using mathematical programming, different problems that, although can be used in others fields in the fuzzy modelling co...