Search

Your search keyword '"Parallel composition"' showing total 1,379 results
Start Over Descriptor "Parallel composition"

Refine your results

more »

more »

more »
1,379 results on '"Parallel composition"'

2. Resolvent of the parallel composition and the proximity operator of the infimal postcomposition.

Author

Briceño-Arias, Luis M. and Roldán, Fernando

Abstract

In this paper we provide the resolvent computation of the parallel composition of a maximally monotone operator by a linear operator under mild assumptions. Connections with a modification of the warped resolvent are provided. In the context of convex optimization, we obtain the proximity operator of the infimal postcomposition of a convex function by a linear operator and we relax full range conditions on the linear operator to mild qualification conditions. We also introduce a generalization of the proximity operator involving a general linear bounded operator leading to a generalization of Moreau's decomposition for composite convex optimization. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

4. Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

Author

ACETO, LUCA, CASTIGLIONI, VALENTINA, FOKKINK, WAN, INGÓLFSDÓTTIR, ANNA, and LUTTIK, BAS

Subjects
FINITE, The, COMPOSITION operators, SEMANTICS, BISIMULATION
Abstract

Bergstra and Klop have shown that bisimilarity has a finite equational axiomatisation over ACP/CCS extended with the binary left and communication merge operators. Moller proved that auxiliary operators are necessary to obtain a finite axiomatisation of bisimilarity over CCS, and Aceto et al. showed that this remains true when Hennessy’s merge is added to that language. These results raise the question of whether there is one auxiliary binary operator whose addition to CCS leads to a finite axiomatisation of bisimilarity. We contribute to answering this question in the simplified setting of the recursion-, relabelling-, and restriction-free fragment of CCS. We formulate three natural assumptions pertaining to the operational semantics of auxiliary operators and their relationship to parallel composition and prove that an auxiliary binary operator facilitating a finite axiomatisation of bisimilarity in the simplified setting cannot satisfy all three assumptions. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

5. Resource Separation in Dynamic Logic of Propositional Assignments

Author

Boudou, Joseph, Herzig, Andreas, Troquard, Nicolas, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Soares Barbosa, Luís, editor, and Baltag, Alexandru, editor

Published
2020
Full Text
View/download PDF

6. Reversible Imperative Parallel Programs and Debugging

Author

Hoey, James, Ulidowski, Irek, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Thomsen, Michael Kirkedal, editor, and Soeken, Mathias, editor

Published
2019
Full Text
View/download PDF

7. ON THE AXIOMATISABILITY OF PARALLEL COMPOSITION.

Author

ACETO, LUCA, CASTIGLIONI, VALENTINA, INGÓLFSDÓTTIR, ANNA, LUTTIK, BAS, and PEDERSEN, MATHIAS RUGGAARD

Subjects
COMPOSITION operators, FINITE, The, SEMANTICS
Abstract

This paper studies the existence of finite equational axiomatisations of the inter- leaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide finite, ground-complete axiomatisations for various simulation and (decorated) trace semantics. We also show that no congruence over BCCSP that includes bisimilarity and is included in possible futures equivalence has a finite, ground- complete axiomatisation; this negative result applies to all the nested trace and nested simulation semantics. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

8. Probabilistic Process Algebra and Strategic Interleaving

Author

Cornelis A. Middelburg

Subjects
process algebra, probabilistic choice, parallel composition, arbitrary interleaving, strategic interleaving., Electronic computers. Computer science, QA75.5-76.95
Abstract

We first present a probabilistic version of ACP that rests on the principle that probabilistic choices are always resolved before choices involved in alternative composition and parallel composition are resolved and then extend this probabilistic version of ACP with a form of interleaving in which parallel processes are interleaved according to what is known as a process-scheduling policy in the field of operating systems. We use the term strategic interleaving for this more constrained form of interleaving. The extension covers probabilistic process-scheduling policies.

Published
2020
Full Text
View/download PDF

9. An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction

Author

Dongol, Brijesh, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Artho, Cyrille, editor, and Ölveczky, Peter Csaba, editor

Published
2017
Full Text
View/download PDF

11. π-Calculus

Author

Bruni, Roberto, Montanari, Ugo, Henzinger, Monika, Series editor, Hromkovič, Juraj, Series editor, Nielsen, Mogens, Series editor, Rozenberg, Grzegorz, Series editor, Salomaa, Arto, Series editor, Bruni, Roberto, and Montanari, Ugo

Published
2017
Full Text
View/download PDF

12. CCS, the Calculus of Communicating Systems

Author

Bruni, Roberto, Montanari, Ugo, Henzinger, Monika, Series editor, Hromkovič, Juraj, Series editor, Nielsen, Mogens, Series editor, Rozenberg, Grzegorz, Series editor, Salomaa, Arto, Series editor, Bruni, Roberto, and Montanari, Ugo

Published
2017
Full Text
View/download PDF

13. Adding Multi-party Communication: FNM

Author

Gorrieri, Roberto, Henzinger, Monika, Series editor, Hromkovič, Juraj, Series editor, Nielsen, Mogens, Series editor, Rozenberg, Grzegorz, Series editor, Salomaa, Arto, Series editor, and Gorrieri, Roberto

Published
2017
Full Text
View/download PDF

15. Adding Atomic Tests for Absence: NPL

Author

Gorrieri, Roberto, Henzinger, Monika, Series editor, Hromkovič, Juraj, Series editor, Nielsen, Mogens, Series editor, Rozenberg, Grzegorz, Series editor, Salomaa, Arto, Series editor, and Gorrieri, Roberto

Published
2017
Full Text
View/download PDF

16. CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs

Author

Sanán, David, Zhao, Yongwang, Hou, Zhe, Zhang, Fuyuan, Tiu, Alwen, Liu, Yang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Legay, Axel, editor, and Margaria, Tiziana, editor

Published
2017
Full Text
View/download PDF

17. LOTOS-Like Composition of Boolean Nets and Causal Set Construction

Author

Bolognesi, Tommaso, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Katoen, Joost-Pieter, editor, Langerak, Rom, editor, and Rensink, Arend, editor

Published
2017
Full Text
View/download PDF

18. Compositional Model Checking Is Lively

Author

de Putter, Sander, Wijs, Anton, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Proença, José, editor, and Lumpe, Markus, editor

Published
2017
Full Text
View/download PDF

19. Session Types for Link Failures

Author

Adameit, Manuel, Peters, Kirstin, Nestmann, Uwe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bouajjani, Ahmed, editor, and Silva, Alexandra, editor

Published
2017
Full Text
View/download PDF

20. UTP Semantics for rTiMo

Author

Xie, Wanling, Xiang, Shuangqing, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bowen, Jonathan P., editor, and Zhu, Huibiao, editor

Published
2017
Full Text
View/download PDF

21. A Denotational Semantics for Parameterised Networks of Synchronised Automata

Author

Li, Siqi, Madelaine, Eric, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bowen, Jonathan P., editor, and Zhu, Huibiao, editor

Published
2017
Full Text
View/download PDF

22. A Specification Theory of Real-Time Processes

Author

Chilton, Chris, Kwiatkowska, Marta, Moller, Faron, Wang, Xu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gibson-Robinson, Thomas, editor, Hopcroft, Philippa, editor, and Lazić, Ranko, editor

Published
2017
Full Text
View/download PDF

23. A Branching Time Model of CSP

Author

van Glabbeek, Rob, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gibson-Robinson, Thomas, editor, Hopcroft, Philippa, editor, and Lazić, Ranko, editor

Published
2017
Full Text
View/download PDF

24. More Stubborn Set Methods for Process Algebras

Author

Valmari, Antti, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gibson-Robinson, Thomas, editor, Hopcroft, Philippa, editor, and Lazić, Ranko, editor

Published
2017
Full Text
View/download PDF

31. DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

Author

Evrard, Hugues, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Raskin, Jean-François, editor

Published
2016
Full Text
View/download PDF

32. A Timed Process Algebra for Wireless Networks with an Application in Routing : (Extended Abstract)

Author

Bres, Emile, van Glabbeek, Rob, Höfner, Peter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Thiemann, Peter, editor

Published
2016
Full Text
View/download PDF

33. The Expressive Power of Monotonic Parallel Composition

Author

Åman Pohjola, Johannes, Parrow, Joachim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Thiemann, Peter, editor

Published
2016
Full Text
View/download PDF

34. Probabilistic NetKAT

Author

Foster, Nate, Kozen, Dexter, Mamouras, Konstantinos, Reitblatt, Mark, Silva, Alexandra, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Thiemann, Peter, editor

Published
2016
Full Text
View/download PDF

35. Input/Output Stochastic Automata : Compositionality and Determinism

Author

D’Argenio, Pedro R., Lee, Matias David, Monti, Raúl E., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fränzle, Martin, editor, and Markey, Nicolas, editor

Published
2016
Full Text
View/download PDF

36. Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency

Author

Andronick, June, Lewis, Corey, Matichuk, Daniel, Morgan, Carroll, Rizkallah, Christine, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Blanchette, Jasmin Christian, editor, and Merz, Stephan, editor

Published
2016
Full Text
View/download PDF

37. Behavioural Analysis of Sessions Using the Calculus of Structures

Author

Ciobanu, Gabriel, Horne, Ross, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mazzara, Manuel, editor, and Voronkov, Andrei, editor

Published
2016
Full Text
View/download PDF

38. Compositional Runtime Enforcement

Author

Pinisetty, Srinivas, Tripakis, Stavros, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Rayadurgam, Sanjai, editor, and Tkachuk, Oksana, editor

Published
2016
Full Text
View/download PDF

39. Static VS Dynamic Reversibility in CCS

Author

Medić, Doriana, Mezzina, Claudio Antares, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Devitt, Simon, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

40. Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition

Author

Boudou, Joseph, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Olivetti, Nicola, editor, and Tiwari, Ashish, editor

Published
2016
Full Text
View/download PDF

41. Multiparty Session Types Within a Canonical Binary Theory, and Beyond

Author

Caires, Luís, Pérez, Jorge A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

42. On the Power of Attribute-Based Communication

Author

Abd Alrahman, Yehia, De Nicola, Rocco, Loreti, Michele, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Lanese, Ivan, editor

Published
2016
Full Text
View/download PDF

43. On Sessions and Infinite Data

Author

Severi, Paula, Padovani, Luca, Tuosto, Emilio, Dezani-Ciancaglini, Mariangiola, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lluch Lafuente, Alberto, editor, and Proença, José, editor

Published
2016
Full Text
View/download PDF

44. Where Do Your IoT Ingredients Come From?

Author

Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lluch Lafuente, Alberto, editor, and Proença, José, editor

Published
2016
Full Text
View/download PDF

45. A Semantic Theory of the Internet of Things : (Extended Abstract)

Author

Lanotte, Ruggero, Merro, Massimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lluch Lafuente, Alberto, editor, and Proença, José, editor

Published
2016
Full Text
View/download PDF

46. Compositional Design of Stochastic Timed Automata

Author

Bouyer, Patricia, Brihaye, Thomas, Carlier, Pierre, Menet, Quentin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kulikov, Alexander S., editor, and Woeginger, Gerhard J., editor

Published
2016
Full Text
View/download PDF

47. A Generalised Theory of Interface Automata, Component Compatibility and Error

Author

Fendrich, Sascha, Lüttgen, Gerald, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, and Huisman, Marieke, editor

Published
2016
Full Text
View/download PDF

48. Compositional Semantics and Analysis of Hierarchical Block Diagrams

Author

Dragomir, Iulia, Preoteasa, Viorel, Tripakis, Stavros, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bošnački, Dragan, editor, and Wijs, Anton, editor

Published
2016
Full Text
View/download PDF

49. Automatic Generation of Test Cases and Test Purposes from Natural Language

Author

Nogueira, Sidney, Araujo, Hugo L. S., Araujo, Renata B. S., Iyoda, Juliano, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cornélio, Márcio, editor, and Roscoe, Bill, editor

Published
2016
Full Text
View/download PDF

50. Refinement Strategies for Safety-Critical Java

Author

Miyazawa, Alvaro, Cavalcanti, Ana, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cornélio, Márcio, editor, and Roscoe, Bill, editor

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results