Volume 94

Science of Computer Programming

Volume 94

1

QoS contract preservation through dynamic reconfiguration: A formal semantics approach

Tamura, Gabriel, Casallas, Rubby, Cleve, Anthony, Duchien, Laurence

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.64 MB

english, 2014

2

Revising basic theorem proving algorithms to cope with the logic of partial functions

Jones, Cliff B., Lovert, Matthew J., Steggles, L. Jason

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 897 KB

english, 2014

3

Web Technologies: Selected & extended papers from WT ACM SAC 2012

Di Iorio, Angelo, Rossi, Davide, Zacchiroli, Stefano

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 161 KB

english, 2014

4

Model checking adaptive service compositions

Bugliesi, M., Marin, A., Rossi, S.

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 843 KB

english, 2014

5

A sound and complete theory of graph transformations for service programming with sessions and pipelines

Zhao, Liang, Bruni, Roberto, Liu, Zhiming

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 2.89 MB

english, 2014

6

Test generation for sequential nets of Abstract State Machines with information passing

Arcaini, Paolo, Gargantini, Angelo

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 846 KB

english, 2014

7

Formal Aspects of Component Software (FACS 2010 selected and extended papers)

Barbosa, Luís Soares, Lumpe, Markus

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 172 KB

english, 2014

8

Monitoring method call sequences using annotations

Nobakht, B., de Boer, F.S., Bonsangue, M.M., de Gouw, S., Jaghoori, M.M.

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.19 MB

english, 2014

9

Integrating SMT solvers in Rodin

Déharbe, David, Fontaine, Pascal, Guyot, Yoann, Voisin, Laurent

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 679 KB

english, 2014

10

Modeling web applications infrastructure with ASMs

Gervasi, Vincenzo, Börger, Egon, Cisternino, Antonio

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.00 MB

english, 2014

11

Dynamic adaptation with distributed control in Paradigm

Andova, S., Groenewegen, L.P.J., de Vink, E.P.

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.60 MB

english, 2014

12

A query language and ranking algorithm for news items in the Hermes news processing framework

Hogenboom, Frederik, Vandic, Damir, Frasincar, Flavius, Verheij, Arnout, Kleijn, Allard

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 3.10 MB

english, 2014

13

ASM, controller synthesis, and complete refinement

Banach, Richard, Zhu, Huibiao, Su, Wen, Wu, Xiaofeng

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 954 KB

english, 2014

14

Enriching single-user web applications non-invasively with shared editing support

Heinrich, Matthias, Lehmann, Franz, Grüneberger, Franz Josef, Gaedke, Martin, Springer, Thomas, Schill, Alexander

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.87 MB

english, 2014

15

Approximately optimal facet value selection

Liberman, Sonya, Lempel, Ronny

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.30 MB

english, 2014

16

Process-aware continuation management in web applications

Book, Matthias, Buss, Marco, Gruhn, Volker

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

17

Refinement of decomposed models by interface instantiation

Hallerstede, Stefan, Hoang, Thai Son

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.01 MB

english, 2014

18

Preventing arithmetic overflows in Alloy

Milicevic, Aleksandar, Jackson, Daniel

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 753 KB

english, 2014

19

Formalizing hybrid systems with Event-B and the Rodin Platform

Su, Wen, Abrial, Jean-Raymond, Zhu, Huibiao

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

20

Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012

Riccobene, Elvinia, Reeves, Steve

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 144 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски