Ditemukan 204 dokumen yang sesuai dengan query
Storm, Christian, author
Data replication by employing quorum systems is an important concept to improve operation availability on data objects in distributed systems that have strong data consistency demands. These data replication schemes must be modeled and carefully evaluated with respect to different quality measures. Christian Storm addresses the former by a uniform...
Wiesbaden: Springer, 2012
e20406686
eBooks Universitas Indonesia Library
Andy Schurr, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011.
The 13 revised full papers presented together with 2 invited talks, 2 application reports and 3 tool demonstration papers were carefully selected from...
Berlin: Springer, 2012
e20407274
eBooks Universitas Indonesia Library
Radu Calinescu, editor
This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved...
Berlin: Springer, 2012
e20407287
eBooks Universitas Indonesia Library
Paolo Atzeni, editor
This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together with 13 short papers, 6 poster papers and 3 keynotes were carefully reviewed and selected from 141 submissions. The papers are...
Berlin: Springer, 2012
e20407298
eBooks Universitas Indonesia Library
Andy Gill, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners...
Berlin: Springer-Verlag, 2012
e20407809
eBooks Universitas Indonesia Library
Rajeev Joshi, editor
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions...
Berlin: Springer-Verlag, 2012
e20408170
eBooks Universitas Indonesia Library
Jorg Kienzle, editor
This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers...
Berlin: [Springer-Verlag, ], 2012
e20409497
eBooks Universitas Indonesia Library
Joy Ying Zhang, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile Computing, Applications, and Services (MobiCASE 2011) held in Los Angeles, CA, USA, during October 24-27, 2010. The 18 revised full papers presented together with 12 revised poster papers were carefully reviewed and selected from numerous...
Heidelberg: [Springer, ], 2012
e20409557
eBooks Universitas Indonesia Library
Henderson-Sellers, B., author
Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues...
Heidelberg: Springer-Verlag, 2012
e20409719
eBooks Universitas Indonesia Library
Paris Avgeriou, editor
The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies...
Berlin: [Springer-Verlag , ], 2012
e20409984
eBooks Universitas Indonesia Library
