753 search results - page 39 / 151 » Fragments-based Model Reduction: Some Case Studies |
KES
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
14 years 3 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
PE
2011
Springer
13 years 3 months ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
ISCA
2010
IEEE
13 years 11 months ago
2010
IEEE
Two broad classes of memory models are available today: models with hardware cache coherence, used in conventional chip multiprocessors, and models that rely upon software to mana...