1226 search results - page 138 / 246 » Generating Abstractions from Static Domain Analysis |
WSC
2004
13 years 9 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
PUK
2000
13 years 9 months ago
2000
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
FASE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
ICCS
2001
Springer
14 years 18 days ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
TSMC
2002
13 years 7 months ago
2002
Abstract--Most genetic algorithm (GA) users adjust the main parameters of the design of a GA (crossover and mutation probability, population size, number of generations, crossover,...