Sciweavers

3435 search results - page 77 / 687
» Aspect Model Unweaving
Sort
View
SYNTHESE
2008
84views more  SYNTHESE 2008»
15 years 4 months ago
Model structure adequacy analysis: selecting models on the basis of their ability to answer scientific questions
Models carry the meaning of science. This puts a tremendous burden on the process of model selection. In general practice, models are selected on the basis of their relative goodne...
Mark L. Taper, David F. Staples, Bradley B. Shepar...
AOSE
2004
Springer
15 years 9 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
IPPS
2006
IEEE
15 years 10 months ago
Modeling and executing master-worker applications in component models
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...
Hinde-Lilia Bouziane, Christian Pérez, Thie...
ISOLA
2010
Springer
15 years 2 months ago
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
Anders P. Ravn, Jirí Srba, Saleem Vighio
IFIP12
2009
15 years 2 months ago
Mining Retail Transaction Data for Targeting Customers with Headroom - A Case Study
We outline a method to model customer behavior from retail transaction data. In particular, we focus on the problem of recommending relevant products to consumers. Addressing this ...
Madhu Shashanka, Michael Giering