2722 search results - page 31 / 545 » The Model Evolution Calculus |
MSR
2011
ACM
12 years 10 months ago
2011
ACM
Studying the evolution of topics (collections of co-occurring words) in a software project is an emerging technique to automatically shed light on how the project is changing over...
KES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this work we present Evolution Strategies (ES) as an efficient optimization method for dynamic modelling of the main interact
LICS
1989
IEEE
13 years 12 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
AI
2001
Springer
14 years 12 days ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...