697 search results - page 100 / 140 » Decomposition Structures for Event-B |
IJCAI
2001
15 years 1 months ago
2001
Combinatorial auctions where bidders can bid on bundles of items can lead to more economical allocations, but determining the winners is NP-complete and inapproximable. We present...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
74
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...
CCE
2007
14 years 11 months ago
2007
The understanding of the dynamic behavior of distillation columns has received considerable attention due to the fact that distillation is one of the most widely used unit operati...