2206 search results - page 87 / 442 » On the power of coercion abstraction |
101
Voted
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
that negotiation is a powerful abstract notion for the coordination of generic services available from distributed components. This is the main motivation underlying the developme...
SIGCSE
1997
ACM
15 years 6 months ago
1997
ACM
Passing functions and function objects to general routines is a powerful abstraction mechanism that should be taught in freshman computer science. In C++, a “function” can be ...
AIPS
2009
15 years 2 months ago
2009
abstraction heuristics, notably pattern-database and merge-and-shrink heuristics, are employed by some state-ofthe-art optimal heuristic-search planners. The major limitation of t...
115
click to vote
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...