5799 search results - page 201 / 1160 » Patterns Generate Architectures |
SIMPRA
2010
13 years 6 months ago
2010
We have developed an individual-based evolving predator-prey ecosystem simulation that integrates, for the first time, a complex individual behaviour model, an evolutionary mecha...
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
DATESO
2010
13 years 6 months ago
2010
Abstract. The high dimensionality of the data generated by social networks has been a big challenge for researchers. In order to solve the problems associated with this phenomenon,...
CANDC
2011
ACM
12 years 8 months ago
2011
ACM
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...