default search action
Science of Computer Programming, Volume 94
Volume 94, Part 1, November 2014
- Angelo Di Iorio
, Davide Rossi, Stefano Zacchiroli
Web Technologies: Selected & extended papers from WT ACM SAC 2012. 1-2 - Matthias Book
Process-aware continuation management in web applications. 3-17 - Sonya Liberman, Ronny Lempel:
Approximately optimal facet value selection. 18-31 - Frederik Hogenboom, Damir Vandic, Flavius Frasincar
A query language and ranking algorithm for news items in the Hermes news processing framework. 32-52 - Matthias Heinrich, Franz Lehmann, Franz Josef Grüneberger, Martin Gaedke
Enriching single-user web applications non-invasively with shared editing support. 53-66
Volume 94, Part 2, November 2014
- Elvinia Riccobene
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. 67-68 - Vincenzo Gervasi
Modeling web applications infrastructure with ASMs. 69-92 - Paolo Arcaini
Test generation for sequential nets of Abstract State Machines with information passing. 93-108 - Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
ASM, controller synthesis, and complete refinement. 109-129 - David Déharbe
Integrating SMT solvers in Rodin. 130-143 - Stefan Hallerstede, Thai Son Hoang:
Refinement of decomposed models by interface instantiation. 144-163 - Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Formalizing hybrid systems with Event-B and the Rodin Platform. 164-202 - Aleksandar Milicevic, Daniel Jackson:
Preventing arithmetic overflows in Alloy. 203-216 - Benoît Fraikin, Marc Frappier, Richard St-Denis
Supervisory control theory with Alloy. 217-237 - Cliff B. Jones
Revising basic theorem proving algorithms to cope with the logic of partial functions. 238-252
Volume 94, Part 3, November 2014
- Luís Soares Barbosa
Formal Aspects of Component Software (FACS 2010 selected and extended papers). 253-254 - Liang Zhao, Roberto Bruni, Zhiming Liu:
A sound and complete theory of graph transformations for service programming with sessions and pipelines. 255-288 - Michele Bugliesi
Model checking adaptive service compositions. 289-306 - Gabriel Tamura
QoS contract preservation through dynamic reconfiguration: A formal semantics approach. 307-332 - Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic adaptation with distributed control in Paradigm. 333-361 - Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue
Monitoring method call sequences using annotations. 362-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: