320 search results - page 18 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
127
Voted
ER
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
124
Voted
ISBI
2011
IEEE
14 years 4 months ago
2011
IEEE
Caenorhabditis elegans is an important model organism for the study of molecular mechanisms of development and disease processes, due to its well-known genome and invariant cell l...
101
Voted
LPNMR
1997
Springer
15 years 4 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
98
Voted
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
95
Voted
EMISA
2005
Springer
15 years 6 months ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...