1134 search results - page 45 / 227 » Using Constraints with Action Language for Model Evolution |
136
click to vote
IICAI
2007
15 years 4 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
137
click to vote
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
151
click to vote
PVLDB
2008
15 years 2 months ago
2008
The old problem of managing the history of database information is now made more urgent and complex by fast spreading web information systems, such as Wikipedia. Our PRIMA system ...
129
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
122
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...