Search

Your search keyword '"Viswanathan, Mahesh"' showing total 50 results
Start Over Author "Viswanathan, Mahesh" Publisher springer international publishing

Refine your results

more »

more »

50 results on '"Viswanathan, Mahesh"'

1. Modelchecking Safety Properties in Randomized Security Protocols

Author

Bauer, Matthew S., Chadha, Rohit, Viswanathan, Mahesh, 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, Nigam, Vivek, editor, Ban Kirigin, Tajana, editor, Talcott, Carolyn, editor, Guttman, Joshua, editor, Kuznetsov, Stepan, editor, Thau Loo, Boon, editor, and Okada, Mitsuhiro, editor

Published
2020
Full Text
View/download PDF

2. STMC: Statistical Model Checker with Stratified and Antithetic Sampling

Author

Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh, 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, Lahiri, Shuvendu K., editor, and Wang, Chao, editor

Published
2020
Full Text
View/download PDF

3. Decidable Synthesis of Programs with Uninterpreted Functions

Author

Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh, 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, Lahiri, Shuvendu K., editor, and Wang, Chao, editor

Published
2020
Full Text
View/download PDF

4. What’s Decidable About Program Verification Modulo Axioms?

Author

Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh, 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, Biere, Armin, editor, and Parker, David, editor

Published
2020
Full Text
View/download PDF

5. A Retrospective Look at the Monitoring and Checking (MaC) Framework

Author

Kannan, Sampath, Kim, Moonzoo, Lee, Insup, Sokolsky, Oleg, Viswanathan, Mahesh, 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, Finkbeiner, Bernd, editor, and Mariani, Leonardo, editor

Published
2019
Full Text
View/download PDF

6. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics

Author

Fan, Chuchu, Mathur, Umang, Mitra, Sayan, Viswanathan, Mahesh, 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, Chockler, Hana, editor, and Weissenbacher, Georg, editor

Published
2018
Full Text
View/download PDF

7. Model Checking Indistinguishability of Randomized Security Protocols

Author

Bauer, Matthew S., Chadha, Rohit, Prasad Sistla, A., Viswanathan, Mahesh, 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, Chockler, Hana, editor, and Weissenbacher, Georg, editor

Published
2018
Full Text
View/download PDF

8. Revisiting MITL to Fix Decision Procedures

Author

Roohi, Nima, Viswanathan, Mahesh, 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, Dillig, Isil, editor, and Palsberg, Jens, editor

Published
2018
Full Text
View/download PDF

13. Modular Verification of Protocol Equivalence in the Presence of Randomness

Author

Bauer, Matthew S., Chadha, Rohit, Viswanathan, Mahesh, 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, Foley, Simon N., editor, Gollmann, Dieter, editor, and Snekkenes, Einar, editor

Published
2017
Full Text
View/download PDF

14. Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars

Author

Bhattiprolu, Vijay, Gordon, Spencer, Viswanathan, Mahesh, 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, Bertrand, Nathalie, editor, and Bortolussi, Luca, editor

Published
2017
Full Text
View/download PDF

15. DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems

Author

Fan, Chuchu, Qi, Bolun, Mitra, Sayan, Viswanathan, Mahesh, 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, Majumdar, Rupak, editor, and Kunčak, Viktor, editor

Published
2017
Full Text
View/download PDF

16. Parsimonious, Simulation Based Verification of Linear Systems

Author

Duggirala, Parasara Sridhar, Viswanathan, Mahesh, 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, Chaudhuri, Swarat, editor, and Farzan, Azadeh, editor

Published
2016
Full Text
View/download PDF

17. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

Author

Fan, Chuchu, Qi, Bolun, Mitra, Sayan, Viswanathan, Mahesh, Duggirala, Parasara Sridhar, 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, Chaudhuri, Swarat, editor, and Farzan, Azadeh, editor

Published
2016
Full Text
View/download PDF

18. Floating Time Transition System: More Efficient Analysis of Timed Actors

Author

Khamespanah, Ehsan, Sirjani, Marjan, Viswanathan, Mahesh, Khosravi, Ramtin, 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, Braga, Christiano, editor, and Ölveczky, Peter Csaba, editor

Published
2016
Full Text
View/download PDF

20. Deciding Concurrent Planar Monotonic Linear Hybrid Systems

Author

Prabhakar, Pavithra, Roohi, Nima, Viswanathan, Mahesh, 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, Sankaranarayanan, Sriram, editor, and Vicario, Enrico, editor

Published
2015
Full Text
View/download PDF

21. Meeting a Powertrain Verification Challenge

Author

Duggirala, Parasara Sridhar, Fan, Chuchu, Mitra, Sayan, Viswanathan, Mahesh, 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, Kroening, Daniel, editor, and Păsăreanu, Corina S., editor

Published
2015
Full Text
View/download PDF

22. Decidable Problems for Unary PFAs

Author

Chadha, Rohit, Kini, Dileep, Viswanathan, Mahesh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Norman, Gethin, editor, and Sanders, William, editor

Published
2014
Full Text
View/download PDF

23. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints

Author

Roohi, Nima, Viswanathan, Mahesh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, 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 Bozga, Marius, editor

Published
2014
Full Text
View/download PDF

24. Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol

Author

Duggirala, Parasara Sridhar, Wang, Le, Mitra, Sayan, Viswanathan, Mahesh, Muñoz, César, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Jones, Cliff, editor, Pihlajasaari, Pekka, editor, and Sun, Jun, editor

Published
2014
Full Text
View/download PDF

35. Sliced Path Prefixes: An Effective Method to Enable Refinement Selection

Author

Beyer, Dirk, Löwe, Stefan, Wendler, Philipp, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

36. Extending Testing Automata to All LTL

Author

Salem, Ala Eddine Ben, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

37. Simple Isolation for an Actor Abstract Machine

Author

Claudel, Benoit, Sabah, Quentin, Stefani, Jean-Bernard, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

38. Type Checking Privacy Policies in the π-calculus

Author

Kouzapas, Dimitrios, Philippou, Anna, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

39. Loop Freedom in AODVv2

Author

Namjoshi, Kedar S., Trefler, Richard J., 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

40. Timely Dataflow: A Model

Author

Abadi, Martín, Isard, Michael, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

41. Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

Author

Damiani, Ferruccio, Viroli, Mirko, Pianini, Danilo, Beal, Jacob, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

42. Dynamic Causality in Event Structures

Author

Arbach, Youssef, Karcher, David, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

43. Compliance and Subtyping in Timed Session Types

Author

Bartoletti, Massimo, Cimoli, Tiziana, Murgia, Maurizio, Podda, Alessandro Sebastian, Pompianu, Livio, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

44. Difference Bound Constraint Abstraction for Timed Automata Reachability Checking

Author

Wang, Weifeng, Jiao, Li, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

45. Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler

Author

Chan Ngo, Van, Talpin, Jean-Pierre, Gautier, Thierry, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

46. Faster Linearizability Checking via P-Compositionality

Author

Horn, Alex, Kroening, Daniel, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

47. A Strategy for Automatic Verification of Stabilization of Distributed Algorithms

Author

Ghosh, Ritwika, Mitra, Sayan, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

48. On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency

Author

Horn, Alex, Kroening, Daniel, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

49. Types for Deadlock-Free Higher-Order Programs

Author

Padovani, Luca, Novara, Luca, 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, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

50. Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

Author

Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli, Graf, Susanne, Viswanathan, Mahesh, Damiani, Ferruccio, Viroli, Mirko, Pianini, Danilo, and Beal, Jacob

Subjects
Ubiquitous computing, Computer science, Computational field, Core calculus, Operational semantics, Spatial computing, Computational resource, Formal Methods, Operational semantics, Computational field, Ambient calculus, Code (cryptography), Calculus, Core calculus, Tuple space, Code mobility, Spatial computing, Aggregate Computing, Abstraction (linguistics)
Abstract

Self-organisation mechanisms, in which simple local interactions result in robust collective behaviors, are a useful approach to managing the coordination of large-scale adaptive systems. Emerging pervasive application scenarios, however, pose an openness challenge for this approach, as they often require flexible and dynamic deployment of new code to the pertinent devices in the network, and safe and predictable integration of that new code into the existing system of distributed self-organisation mechanisms. We approach this problem of combining self-organisation and code mobility by extending “computational field calculus”, a universal calculus for specification of self-organising systems, with a semantics for distributed first-class functions. Practically, this allows self-organisation code to be naturally handled like any other data, e.g., dynamically constructed, compared, spread across devices, and executed in safely encapsulated distributed scopes. Programmers may thus be provided with the novel first-class abstraction of a “distributed function field”, a dynamically evolving map from a network of devices to a set of executing distributed processes.

Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results