595 search results - page 31 / 119 » Little languages: little maintenance |
CP
2005
Springer
14 years 2 months ago
2005
Springer
Many combinatorial problems require of their solutions that they achieve a certain balance of given features. In the constraint programming literature, little has been written to s...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
STACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. It is well known that one-dimensional cellular automata working on the usual neighborhood are Turing complete, and many acceleration theorems are known. However very litt...
SEFM
2003
IEEE
14 years 2 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
WETICE
2003
IEEE
14 years 2 months ago
2003
IEEE
Role-based access control has been a focal area for many security researchers over the last decade. There have been a large number of models, and many rich specification language...