Sciweavers

810 search results - page 83 / 162
» Evolving a DSL Implementation
Sort
View
DSS
2007
89views more  DSS 2007»
14 years 9 months ago
MSMiner - a developing platform for OLAP
Since the early 1970s, decision support systems (DSS) have evolved significantly. In this paper, the design and implementation of MSMiner, a developing platform for DSS, is introd...
Zhongzhi Shi, Youping Huang, Qing He, Li Da Xu, Sh...
AC
2005
Springer
14 years 9 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
CORR
2004
Springer
80views Education» more  CORR 2004»
14 years 9 months ago
Notes On The Design Of An Internet Adversary
The design of the defenses Internet systems can deploy against attack, especially adaptive and resilient defenses, must start from a realistic model of the threat. This requires an...
David S. H. Rosenthal, Petros Maniatis, Mema Rouss...
CORR
2004
Springer
139views Education» more  CORR 2004»
14 years 9 months ago
Artificial Ant Colonies in Digital Image Habitats - A Mass Behaviour Effect Study on Pattern Recognition
Some recent studies have pointed that , the self-organization of neurons into brain-like structures, and the self-organization of ants into a swarm are similar in many respects. I...
Vitorino Ramos, Filipe Almeida
CORR
2000
Springer
112views Education» more  CORR 2000»
14 years 9 months ago
Evolution of differentiated expression patterns in digital organisms
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
Charles Ofria, Christoph Adami, Travis C. Collier,...