2624 search results - page 296 / 525 » The 2LIP model and its implementations |
139
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
163
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
Associativity between feature models implies the automatic updating of different feature models of a part after changes are made in one of its feature models. This is an importan...
146
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
276
Voted
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
194
click to vote
EKAW
1992
Springer
15 years 9 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...