6040 search results - page 71 / 1208 » Generating Instance Models from Meta Models |
AAAI
1997
13 years 10 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
FIT
2010
13 years 3 months ago
2010
Business processes have to adopt the changes driven by the market to remain competitive. This requires improvement of business processes, which can be carried out by understanding...
SAT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
COLING
2000
13 years 10 months ago
2000
Previous stochastic approaches to generation do not include a tree-based representation of syntax. While this may be adequate or even advantageous for some applications, other app...
ECBS
2010
IEEE
14 years 2 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...