Sciweavers

2324 search results - page 313 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
73
Voted
BMCBI
2006
122views more  BMCBI 2006»
14 years 10 months ago
A domain-oriented approach to the reduction of combinatorial complexity in signal transduction networks
Background:Receptors and scaffold proteins possess a number of distinct domains and bind multiple partners. A common problem in modeling signaling systems arises from a combinator...
Holger Conzelmann, Julio Saez-Rodriguez, Thomas Sa...
86
Voted
ECAI
2004
Springer
15 years 3 months ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price
SLP
1989
105views more  SLP 1989»
14 years 11 months ago
Automatic Ordering of Subgoals - A Machine Learning Approach
This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...
Shaul Markovitch, Paul D. Scott
77
Voted
CAISE
2006
Springer
15 years 1 months ago
Model-Driven Enterprise Systems Configuration
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
Jan Recker, Jan Mendling, Wil M. P. van der Aalst,...
104
Voted
VAMOS
2007
Springer
15 years 4 months ago
Adding Aspects to xADL 2.0 for Software Product Line Architectures
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
Lidia Fuentes, Nadia Gámez