2513 search results - page 162 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
WSC
2007
15 years 15 days ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...
ECMDAFA
2006
Springer
15 years 3 days ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
COMPUTER
2002
14 years 10 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
WSC
2000
14 years 11 months ago
2000
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...