Sciweavers

4647 search results - page 652 / 930
» Composite Design Patterns
Sort
View
124
Voted
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
15 years 9 months ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting
SAC
2004
ACM
15 years 9 months ago
Interface utilization in the Java Development Kit
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...
Jens Gößner, Philip Mayer, Friedrich St...
ACRI
2004
Springer
15 years 9 months ago
Evolving Transition Rules for Multi Dimensional Cellular Automata
Abstract. Genetic Algorithms have been used before to evolve transition rules for one dimensional Cellular Automata (CA) to solve e.g. the majority problem and investigate communic...
Ron Breukelaar, Thomas Bäck
107
Voted
CIKM
2004
Springer
15 years 9 months ago
Grammar-based task analysis of web logs
The daily use of Internet-based services is involved with hundreds of different tasks being performed by multiple users. A single task is typically involved with a sequence of Web...
Savitha Srinivasan, Arnon Amir, Prasad M. Deshpand...
148
Voted
GECCO
2004
Springer
182views Optimization» more  GECCO 2004»
15 years 9 months ago
On the Evolution of Analog Electronic Circuits Using Building Blocks on a CMOS FPTA
This article summarizes two experiments utilizing building blocks to find analog electronic circuits on a CMOS Field Programmable Transistor Array (FPTA). The FPTA features 256 pr...
Jörg Langeheine, Martin Trefzer, Daniel Br&uu...