Sciweavers

1121 search results - page 57 / 225
» Location-routing: Issues, models and methods
Sort
View
DKE
1998
97views more  DKE 1998»
14 years 9 months ago
A Temporal Approach to Managing Schema Evolution in Object Database Systems
The issues of schema evolution and temporal object models are generally considered to be orthogonal and are handled independently. However, to properly model applications that nee...
Iqbal A. Goralwalla, Duane Szafron, M. Tamer Ö...
IC3
2009
14 years 7 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler
ESE
2006
256views Database» more  ESE 2006»
14 years 9 months ago
Integrating agile software development into stage-gate managed product development
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
Daniel Karlström, Per Runeson
HICSS
2003
IEEE
159views Biometrics» more  HICSS 2003»
15 years 3 months ago
Emergent Structures in Supply Chains - A Study Integrating Agent-Based and System Dynamics Modeling
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
Nadine Schieritz, Andreas Größler
ESCIENCE
2005
IEEE
15 years 3 months ago
The Challenge of Volunteer Computing with Lengthy Climate Model Simulations
This paper describes the issues confronted by the climateprediction.net project in creating a volunteer computing project using a large legacy climate model application. This appl...
Carl Christensen, Tolu Aina, Dave Stainforth