3504 search results - page 281 / 701 » Computational Aspects of Equilibria |
202
click to vote
ASM
2005
ASM
16 years 1 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
152
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
193
click to vote
CAISE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
159
Voted
ICCS
2005
Springer
16 years 29 days ago
2005
Springer
We have previously described a hybrid keyword search that combines metadata search with a traditional keyword search over unstructured context data. This hybrid search paradigm pro...
170
click to vote
KIVS
2005
Springer
16 years 28 days ago
2005
Springer
Although WS-BusinessActivity and BPEL4WS Long-Running Transaction (LRT) are conceptually very similar and are both designed to support the execution of complex business transaction...