1134 search results - page 33 / 227 » Using Constraints with Action Language for Model Evolution |
122
Voted
IAAI
2001
15 years 4 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
128
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
109
Voted
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- The effect of adding noise to an expressioninduction model of language evolution was investigated. The model consisted of a number of artificial people who were able to i...
112
Voted
DALT
2006
Springer
15 years 6 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
120
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...