1996 search results - page 17 / 400 » Financial Theory 2 |
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...
IJCAI
2003
13 years 11 months ago
2003
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
IUI
2003
ACM
14 years 3 months ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
EOR
2008
13 years 10 months ago
2008
Spanish savings banks (SBs) are financial institutions with a wide mission that includes different stakeholders' goals. Profit maximization is only one among several goals, a...