1400 search results - page 61 / 280 » Dynamic Galois Theory |
TAAS
2010
14 years 5 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
104
click to vote
BIRTHDAY
2006
Springer
15 years 2 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
TCS
1998
14 years 10 months ago
1998
Abstract. We show that Turyn’s conjecture, arising from the Theory of Error Correcting Codes, has an equivalent formulation in Dynamical Systems Theory. In particular, Turyn’s ...
Lecture Notes
These notes cover several topics such as The classic capital asset pricing model, The CAPM in general equilibrium, Infinite horizon economies, Continuous time models, Asset pricing...