Sciweavers

2648 search results - page 138 / 530
» Worlds, Models, and KM
Sort
View
JOT
2007
113views more  JOT 2007»
15 years 6 months ago
Pattern-Oriented Design for Multi-Agent System: A Conceptual Model
Design patterns represent solutions to specific problem of developing one application that have evolved over time. They leverage the reuse level to the design phase by providing a...
Radziah Mohamad, Safaai Deris, Hany H. Ammar
ER
2010
Springer
144views Database» more  ER 2010»
15 years 5 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
ICSEA
2009
IEEE
15 years 4 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
FGCS
2011
153views more  FGCS 2011»
15 years 1 months ago
Representing distributed systems using the Open Provenance Model
From the World Wide Web to supply chains and scientific simulations, distributed systems are a widely used and important approach to building computational systems. Tracking prov...
Paul T. Groth, Luc Moreau
SIAMAM
2010
194views more  SIAMAM 2010»
15 years 1 months ago
An Age-Structured Model for the Transmission Dynamics of Hepatitis B
Hepatitis B virus (HBV) infection is endemic in many parts of the world. One of the characteristics of HBV transmission is the age structure of the host population. In this paper, ...
Lan Zou, Shigui Ruan, Weinian Zhang