337 search results - page 36 / 68 » An Axiomatic Formalization of UML Models |
ER
2007
Springer
14 years 2 months ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
SLOGICA
2010
13 years 7 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
APN
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...