1993 search results - page 90 / 399 » On Action Theory Change |
104
click to vote
ICFP
2003
ACM
16 years 15 days ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
144
click to vote
AIMS
2008
Springer
15 years 7 months ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
93
Voted
TIME
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computabilit...
97
Voted
CCE
2008
15 years 19 days ago
2008
We review the use of bond graphs for modeling of physico-chemical processes. We recall that bond graphs define a circuit-type language which root on a thermodynamical consistent d...
112
Voted
ENTCS
2008
15 years 18 days ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...