1693 search results - page 205 / 339 » Pattern-Recognition: a Foundational Approach |
159
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
141
Voted
SAIG
2001
Springer
15 years 10 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
206
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
165
click to vote
AO
2006
15 years 5 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
146
Voted
SYNTHESE
2010
15 years 3 months ago
2010
In this paper I show that Proclus is an adherent of the Classical Model of Science as set out elsewhere in this issue (de Jong and Betti 2008), and that he adjusts certain conditio...