5799 search results - page 201 / 1160 » Patterns Generate Architectures |
120
Voted
SIMPRA
2010
15 years 23 days 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...
126
click to vote
VSTTE
2010
Springer
15 years 23 days 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...
128
click to vote
DATESO
2010
15 years 12 days 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,...
138
Voted
CANDC
2011
ACM
14 years 2 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...
122
click to vote
TPHOL
2009
IEEE
15 years 9 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...