Adding distribution and fault tolerance to Jason (English)
- New search for: Fernández-Díaz, Á
- New search for: Fernández-Díaz, Á
- New search for: Benac-Earle, C
- New search for: Fredlund, L
In:
Science of computer programming
;
98
; 205-232
;
2015
-
ISSN:
- Article (Journal) / Print
-
Title:Adding distribution and fault tolerance to Jason
-
Contributors:
-
Published in:Science of computer programming ; 98 ; 205-232
-
Publisher:
- New search for: Elsevier
-
Place of publication:Amsterdam [u.a.]
-
Publication date:2015
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.50
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.50 Programmierung: Allgemeines -
Source:
Table of contents – Volume 98
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Guest editors' introduction to the fifth issue of Experimental Software and Toolkits (EST): A special issue on Academics Modelling with Eclipse (ACME2012)van den Brand, Mark / Di Ruscio, Davide / Kolovos, Dimitrios S. / Rose, Louis M. et al. | 2014
- 3
-
MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation modelsJiménez, Álvaro / Vara, Juan M. / Bollati, Verónica A. / Marcos, Esperanza et al. | 2014
- 28
-
Grammar Zoo: A corpus of experimental grammarwareZaytsev, Vadim et al. | 2014
- 52
-
A tool for visual and formal modelling of software designsAmálio, Nuno / Glodt, Christian et al. | 2014
- 80
-
EMF-IncQuery: An integrated development environment for live model queriesUjhelyi, Zoltán / Bergmann, Gábor / Hegedüs, Ábel / Horváth, Ákos / Izsó, Benedek / Ráth, István / Szatmári, Zoltán / Varró, Dániel et al. | 2014
- 100
-
Introduction to dynamic program analysis with DiSLMarek, Lukáš / Zheng, Yudi / Ansaloni, Danilo / Bulej, Lubomír / Sarimbekov, Aibek / Binder, Walter / Tůma, Petr et al. | 2014
- 117
-
Special issue on programming based on actors, agents and decentralized controlRicci, Alessandro / Agha, Gul / Bordini, Rafael H. / Marron, Assaf et al. | 2014
- 120
-
A feature model of actor, agent, functional, object, and procedural programming languagesJordan, Howell / Botterweck, Goetz / Noll, John / Butterfield, Andrew / Collier, Rem et al. | 2014
- 140
-
Domains: Safe sharing among actorsDe Koster, Joeri / Marr, Stefan / D'Hondt, Theo / Van Cutsem, Tom et al. | 2014
- 159
-
Parallel gesture recognition with soft real-time guaranteesMarr, Stefan / Renaux, Thierry / Hoste, Lode / De Meuter, Wolfgang et al. | 2014
- 184
-
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition systemKhamespanah, Ehsan / Sirjani, Marjan / Sabahi Kaviani, Zeynab / Khosravi, Ramtin / Izadi, Mohammad-Javad et al. | 2014
- 205
-
Adding distribution and fault tolerance to JasonFernández-Díaz, Á. / Benac-Earle, C. / Fredlund, L. et al. | 2014
- 233
-
Towards behavioral programming in distributed architecturesHarel, David / Kantor, Amir / Katz, Guy / Marron, Assaf / Weiss, Gera / Wiener, Guy et al. | 2014
- 268
-
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenariosAshrov, Adiel / Marron, Assaf / Weiss, Gera / Wiener, Guy et al. | 2014
- 293
-
Optimized distributed implementation of multiparty interactions with RestrictionBensalem, Saddek / Bozga, Marius / Quilbeuf, Jean / Sifakis, Joseph et al. | 2014
- 317
-
Advances in Dynamic LanguagesLaval, Jannik / Kellens, Andy et al. | 2014
- 318
-
Handles: Behavior-propagating first class references for dynamically-typed languagesArnaud, Jean-Baptiste / Ducasse, Stéphane / Denker, Marcus / Teruel, Camille et al. | 2014
- 339
-
Ghost: A uniform and general-purpose proxy implementationMartinez Peck, Mariano / Bouraqadi, Noury / Fabresse, Luc / Denker, Marcus / Teruel, Camille et al. | 2014
- 360
-
Computational contractsScholliers, Christophe / Tanter, Éric / De Meuter, Wolfgang et al. | 2013
- 376
-
Visually characterizing source code changesUquillas Gómez, Verónica / Ducasse, Stéphane / D’Hondt, Theo et al. | 2013
- 394
-
Object-focused environments revisitedOlivero, Fernando / Lanza, Michele / D’ambros, Marco et al. | 2013
- 408
-
The impact of meta-tracing on VM design and implementationBolz, Carl Friedrich / Tratt, Laurence et al. | 2013
- 422
-
Robust trait composition for JavascriptVan Cutsem, Tom / Miller, Mark S. et al. | 2012
- 439
-
Managing the evolution of a software architecture at minimal cost under performance and reliability constraintsCortellessa, Vittorio / Mirandola, Raffaela / Potena, Pasqualina et al. | 2014
- 464
-
Safety assessment of AltaRica models via symbolic model checkingBozzano, Marco / Cimatti, Alessandro / Lisagor, Oleg / Mattarei, Cristian / Mover, Sergio / Roveri, Marco / Tonetta, Stefano et al. | 2014
- 484
-
Approximate by thinning: Deriving fully polynomial-time approximation schemesMu, Shin-Cheng / Lyu, Yu-Han / Morihata, Akimasa et al. | 2014
- 516
-
A basis for compositionally ensuring safety properties and its connection to relational algebraic operatorsMajster-Cederbaum, Mila / Semmelrock, Nils et al. | 2014
- 531
-
EVL: A framework for multi-methods in C++Le Goc, Yannick / Donzé, Alexandre et al. | 2014
- 551
-
Reducing operational costs through MIPS managementKwiatkowski, Łukasz M. / Verhoef, Chris et al. | 2014
- 589
-
XPL: A language for modular homogeneous language embeddingClark, Tony et al. | 2014
- 617
-
Reusing metadata across components, applications, and languagesSong, Myoungkyu / Tilevich, Eli et al. | 2014
- 645
-
Two techniques to improve the precision of a demand-driven null-dereference verification approachMargoor, Amogh / Komondoor, Raghavan et al. | 2014
- 680
-
Extraction of domain concepts from the source codeAbebe, Surafel Lemma / Tonella, Paolo et al. | 2014
- 707
-
An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniquesMargaris, D. / Vassilakis, C. / Georgiadis, P. et al. | 2014
- 735
-
Model checking of concurrent programs with static analysis of field accessesParízek, Pavel / Lhoták, Ondřej et al. | 2014
- 764
-
A perspective on architectural re-engineeringSanchez, Alejandro / Oliveira, Nuno / Barbosa, Luis S. / Henriques, Pedro et al. | 2014
- IFC
-
Editorial Board| 2014