Search

Your search keyword '"Romanovsky, Alexander"' showing total 1,028 results
Start Over Author "Romanovsky, Alexander"

Refine your results

more »

more »

more »

more »
1,028 results on '"Romanovsky, Alexander"'

1. Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems

Author

Xu, Jie, Randell, Brian, Romanovsky, Alexander, Stroud, Robert J., and Zorzo, Avelino F.

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Distributed computing often gives rise to complex concurrent and interacting activities. In some cases several concurrent activities may be working together, i.e. cooperating, to solve a given problem; in other cases, the activities may be independent but needing to share common system resources for which they must compete. Many difficulties and limitations occur in the widely advocated objects and (trans)actions model when it is supposed to support cooperating activities. We have introduced previously the concept of coordinated atomic (CA) actions [Xu et al. 1995]; this paper analyzes and examines the derived objects and CA actions model for constructing fault-tolerant distributed systems and providing unified support for both cooperative and competitive concurrency. Our investigation reveals and clarifies several significant problems that have not previously been studied extensively, including the problem of ensuring consistent access to shared objects from a joint action as opposed to a set of independent actions. Conceptual and implementation-related solutions are proposed and illustrated., Comment: 8 pages

Published
2021

2. Industrial-Strength Verification of Solid State Interlocking Programs

Author

Iliasov, Alexei, Taylor, Dominic, Laibinis, Linas, and Romanovsky, Alexander

Subjects
Computer Science - Software Engineering
Abstract

The increasing complexity of modern interlocking poses a major challenge to ensuring railway safety. This calls for application of formal methods forassurance and verification of their safety. We have developed an industry-strength toolset, called SafeCap, for formal verification of interlockings. Our aim was to overcome the main barriers in deploying formal methods in industry. The approach proposed verifies interlocking data developed by signalling engineers in the ways they are designed by industry. It ensures fully-automated verification of safety properties using the state of the art techniques (automated theorem provers and solvers), and provides diagnostics in terms of the notations used by engineers. In the last two years SafeCap has been successfully used to verify 26 real-world mainline interlockings, developed by different suppliers and design offices. SafeCap is currently used in an advisory capacity, supplementing manual checking and testing processes by providing an additional level of verification and enabling earlier identification of errors. We are now developing a safety case to support its use as an alternative to some of these activities., Comment: 16 pages

Published
2021

3. The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool

Author

Iliasov, Alexei, Taylor, Dominic, Laibinis, Linas, Romanovsky, Alexander, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Milius, Birgit, editor, Collart-Dutilleul, Simon, editor, and Lecomte, Thierry, editor

Published
2023
Full Text
View/download PDF

4. A customisable pipeline for continuously harvesting socially-minded Twitter users

Author

Primo, Flavio, Missier, Paolo, Romanovsky, Alexander, Figueredo, Mickael, and Cacho, Nelio

Subjects
Computer Science - Information Retrieval, Computer Science - Social and Information Networks
Abstract

On social media platforms and Twitter in particular, specific classes of users such as influencers have been given satisfactory operational definitions in terms of network and content metrics. Others, for instance online activists, are not less important but their characterisation still requires experimenting. We make the hypothesis that such interesting users can be found within temporally and spatially localised contexts, i.e., small but topical fragments of the network containing interactions about social events or campaigns with a significant footprint on Twitter. To explore this hypothesis, we have designed a continuous user profile discovery pipeline that produces an ever-growing dataset of user profiles by harvesting and analysing contexts from the Twitter stream. The profiles dataset includes key network and content-based users metrics, enabling experimentation with user-defined score functions that characterise specific classes of online users. The paper describes the design and implementation of the pipeline and its empirical evaluation on a case study consisting of healthcare-related campaigns in the UK, showing how it supports the operational definitions of online activism, by comparing three experimental ranking functions. The code is publicly available., Comment: Procs. ICWE 2019, June 2019, Korea

Published
2019

6. Safety Invariant Verification that Meets Engineers’ Expectations

Author

Iliasov, Alexei, Laibinis, Linas, Taylor, Dominic, Lopatkin, Ilya, Romanovsky, Alexander, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Collart-Dutilleul, Simon, editor, Haxthausen, Anne E., editor, and Lecomte, Thierry, editor

Published
2022
Full Text
View/download PDF

7. Recruiting from the network: discovering Twitter users who can help combat Zika epidemics

Author

Missier, Paolo, McClean, Callum, Carlton, Jonathan, Cedrim, Diego, Silva, Leonardo, Garcia, Alessandro, Plastino, Alexandre, and Romanovsky, Alexander

Subjects
Computer Science - Learning, Computer Science - Social and Information Networks
Abstract

Tropical diseases like \textit{Chikungunya} and \textit{Zika} have come to prominence in recent years as the cause of serious, long-lasting, population-wide health problems. In large countries like Brasil, traditional disease prevention programs led by health authorities have not been particularly effective. We explore the hypothesis that monitoring and analysis of social media content streams may effectively complement such efforts. Specifically, we aim to identify selected members of the public who are likely to be sensitive to virus combat initiatives that are organised in local communities. Focusing on Twitter and on the topic of Zika, our approach involves (i) training a classifier to select topic-relevant tweets from the Twitter feed, and (ii) discovering the top users who are actively posting relevant content about the topic. We may then recommend these users as the prime candidates for direct engagement within their community. In this short paper we describe our analytical approach and prototype architecture, discuss the challenges of dealing with noisy and sparse signal, and present encouraging preliminary results.

Published
2017

9. Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach

Author

Gorbenko, Anatoliy, Romanovsky, Alexander, Tarasyuk, Olga, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Bernardi, Simona, editor, Vittorini, Valeria, editor, Flammini, Francesco, editor, Nardone, Roberto, editor, Marrone, Stefano, editor, Adler, Rasmus, editor, Schneider, Daniel, editor, Schleiß, Philipp, editor, Nostro, Nicola, editor, Løvenstein Olsen, Rasmus, editor, Di Salle, Amleto, editor, and Masci, Paolo, editor

Published
2020
Full Text
View/download PDF

10. Formal Distributed Protocol Development for Reservation of Railway Sections

Author

Stankaitis, Paulius, Iliasov, Alexei, Kobayashi, Tsutomu, Aït-Ameur, Yamine, Ishikawa, Fuyuki, Romanovsky, Alexander, 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, Raschke, Alexander, editor, Méry, Dominique, editor, and Houdek, Frank, editor

Published
2020
Full Text
View/download PDF

11. Automating Verification of Event-B Models

Author

Stankaitis, Paulius, Iliasov, Alexei, Adjepon-Yamoah, David, and Romanovsky, Alexander

Subjects
Computer Science - Software Engineering, D.2.4
Abstract

Event-B is one of more popular notations for model-based, proof driven specification. It offers a fairly high-level mathematical lan- guage based on FOL and ZF set theory and an economical yet expres- sive modelling notation. Model correctness is established by discharging proving a number conjectures constructed via a syntactic instantiation of schematic conditions. A large proportion of provable conjectures re- quires proof hints from a user. For larger models this becomes extremely onerous as identical or similar proofs have to be repeated over and over, especially after model refactoring stages. In the paper we briefly present a new Rodin Platform proof back-end based on the Why3 umbrella prover., Comment: Event-B day 2016, Tokyo

Published
2016

12. Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling

Author

Missier, Paolo, Romanovsky, Alexander, Miu, Tudor, Pal, Atinder, Daniilakis, Michael, Garcia, Alessandro, Cedrim, Diego, and Sousa, Leonardo da Silva

Subjects
Computer Science - Social and Information Networks
Abstract

Detecting and preventing outbreaks of mosquito-borne diseases such as Dengue and Zika in Brasil and other tropical regions has long been a priority for governments in affected areas. Streaming social media content, such as Twitter, is increasingly being used for health vigilance applications such as flu detection. However, previous work has not addressed the complexity of drastic seasonal changes on Twitter content across multiple epidemic outbreaks. In order to address this gap, this paper contrasts two complementary approaches to detecting Twitter content that is relevant for Dengue outbreak detection, namely supervised classification and unsupervised clustering using topic modelling. Each approach has benefits and shortcomings. Our classifier achieves a prediction accuracy of about 80\% based on a small training set of about 1,000 instances, but the need for manual annotation makes it hard to track seasonal changes in the nature of the epidemics, such as the emergence of new types of virus in certain geographical locations. In contrast, LDA-based topic modelling scales well, generating cohesive and well-separated clusters from larger samples. While clusters can be easily re-generated following changes in epidemics, however, this approach makes it hard to clearly segregate relevant tweets into well-defined clusters., Comment: Procs. SoWeMine - co-located with ICWE 2016. 2016, Lugano, Switzerland

Published
2016

15. The Tenth European Dependable Computer Conference

Author

Romanovsky, Alexander and Killijian, Marc-Olivier

Subjects
Computer Science - Software Engineering
Abstract

The 21st century society relies on computing systems more than ever. Computers are no longer simply machines that are used by organizations or at home. They are embedded everywhere, from cell phones to cars or industrial control devices, and large-scale cloud computing providers are sharing them among many organizations in an unprecedented scale. As computers have become indispensable, their failures may significantly perturb our daily lives. The increased hardware and software complexity, as well as the scaling of manufacturing technologies towards nanometer size devices, pose new challenges to the developers. As a consequence the development, testing, and benchmarking of dependable systems has become a vital topic of research, both for academia and industry. EDCC is the leading European conference for presenting and discussing the latest research in dependable computing. As in previous years, its tenth edition aims at providing a European-hosted venue for researchers and practitioners from all over the world to present and discuss their latest research results on dependability, security, fault-tolerance, and testing. Original papers are solicited on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable and secure computing systems, covering any fault model, from traditional hardware and software faults to accidental and malicious human interactions., Comment: EDCC-2014

Published
2014

16. Modelling for Systems with Holistic Fault Tolerance

Author

Gensh, Rem, Rafiev, Ashur, Xia, Fei, Romanovsky, Alexander, Yakovlev, Alex, 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, Romanovsky, Alexander, editor, and Troubitsyna, Elena A., editor

Published
2017
Full Text
View/download PDF

17. Stochastic Activity Networks for the Verification of Knowledge Bases

Author

Martin, Luke, Romanovsky, Alexander, 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, Romanovsky, Alexander, editor, and Troubitsyna, Elena A., editor

Published
2017
Full Text
View/download PDF

19. Formal Verification of Signalling Programs with SafeCap

Author

Iliasov, Alexei, Taylor, Dominic, Laibinis, Linas, Romanovsky, Alexander, 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, Gallina, Barbara, editor, Skavhaug, Amund, editor, and Bitsch, Friedemann, editor

Published
2018
Full Text
View/download PDF

21. Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)

Author

Ishikawa, Fuyuki and Romanovsky, Alexander

Subjects
Computer Science - Software Engineering
Abstract

These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan)., Comment: Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Published
2012

22. An Introduction to Software Engineering and Fault Tolerance

Author

Pelliccione, Patrizio, Muccini, Henry, Guelfi, Nicolas, and Romanovsky, Alexander

Subjects
Computer Science - Software Engineering
Abstract

This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault tolerance during the different phases of the software development, software engineering techniques for verification and validation of fault tolerance means, and languages for supporting fault tolerance specification and implementation. Accordingly, the book is structured into the following three parts: Part A: Fault tolerance engineering: from requirements to code; Part B: Verification and validation of fault tolerant systems; Part C: Languages and Tools for engineering fault tolerant systems.

Published
2010

26. A Formal Approach to Designing Reliable Advisory Systems

Author

Martin, Luke J. W., Romanovsky, Alexander, 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, Crnkovic, Ivica, editor, and Troubitsyna, Elena, editor

Published
2016
Full Text
View/download PDF

27. Towards Cloud-Based Enactment of Safety-Related Processes

Author

Alajrami, Sami, Gallina, Barbara, Sljivo, Irfan, Romanovsky, Alexander, Isberg, Petter, 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, Skavhaug, Amund, editor, Guiochet, Jérémie, editor, and Bitsch, Friedemann, editor

Published
2016
Full Text
View/download PDF

28. Rodin Platform Why3 Plug-In

Author

Iliasov, Alexei, Stankaitis, Paulius, Adjepon-Yamoah, David, Romanovsky, Alexander, 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, Butler, Michael, editor, Schewe, Klaus-Dieter, editor, Mashkoor, Atif, editor, and Biro, Miklos, editor

Published
2016
Full Text
View/download PDF

29. Software Development in the Post-PC Era: Towards Software Development as a Service

Author

Alajrami, Sami, Romanovsky, Alexander, Gallina, Barbara, 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, Abrahamsson, Pekka, editor, Jedlitschka, Andreas, editor, Nguyen Duc, Anh, editor, Felderer, Michael, editor, Amasaki, Sousuke, editor, and Mikkonen, Tommi, editor

Published
2016
Full Text
View/download PDF

30. Proving Event-B Models with Reusable Generic Lemmas

Author

Iliasov, Alexei, Stankaitis, Paulius, Romanovsky, Alexander, 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, Ogata, Kazuhiro, editor, Lawford, Mark, editor, and Liu, Shaoying, editor

Published
2016
Full Text
View/download PDF

32. The SafeCap Project on Railway Safety Verification and Capacity Simulation

Author

Iliasov, Alexei, Lopatkin, Ilya, Romanovsky, Alexander, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gorbenko, Anatoliy, editor, Romanovsky, Alexander, editor, and Kharchenko, Vyacheslav, editor

Published
2013
Full Text
View/download PDF

37. From Requirements Engineering to Safety Assurance: Refinement Approach

Author

Laibinis, Linas, Troubitsyna, Elena, Prokhorova, Yuliya, Iliasov, Alexei, Romanovsky, Alexander, 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, Li, Xuandong, editor, Liu, Zhiming, editor, and Yi, Wang, editor

Published
2015
Full Text
View/download PDF

38. Engineering Cross-Layer Fault Tolerance in Many-Core Systems

Author

Gensh, Rem, Romanovsky, Alexander, Yakovlev, Alex, 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, Fantechi, Alessandro, editor, and Pelliccione, Patrizio, editor

Published
2015
Full Text
View/download PDF

39. The Impact of Consistency on System Latency in Fault Tolerant Internet Computing

Author

Tarasyuk, Olga, Gorbenko, Anatoliy, Romanovsky, Alexander, Kharchenko, Vyacheslav, Ruban, Vitalii, 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, Bessani, Alysson, editor, and Bouchenak, Sara, editor

Published
2015
Full Text
View/download PDF

40. Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability

Author

Gorbenko, Anatoliy, Kharchenko, Vyacheslav, Romanovsky, Alexander, 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, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Jones, Cliff, editor, Romanovsky, Alexander, editor, and Troubitsyna, Elena, editor

Published
2009
Full Text
View/download PDF

41. Step-Wise Development of Resilient Ambient Campus Scenarios

Author

Iliasov, Alexei, Arief, Budi, Romanovsky, Alexander, 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, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Jones, Cliff, editor, Romanovsky, Alexander, editor, and Troubitsyna, Elena, editor

Published
2009
Full Text
View/download PDF

42. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation

Author

Iliasov, Alexei, Palacin, Roberto, Romanovsky, Alexander, 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, Majzik, István, editor, and Vieira, Marco, editor

Published
2014
Full Text
View/download PDF

43. Practical Formal Methods in Railways - The SafeCap Approach

Author

Iliasov, Alexei, Lopatkin, Ilya, Romanovsky, Alexander, 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, George, Laurent, editor, and Vardanega, Tullio, editor

Published
2014
Full Text
View/download PDF

44. Rigorous Development of Fault-Tolerant Systems through Co-refinement

Author

Lopatkin, Ilya, Romanovsky, Alexander, 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, George, Laurent, editor, and Vardanega, Tullio, editor

Published
2014
Full Text
View/download PDF

45. Exception Handling in Context-Aware Agent Systems: A Case Study

Author

Cacho, Nelio, Damasceno, Karla, Garcia, Alessandro, Romanovsky, Alexander, Lucena, Carlos, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Choren, Ricardo, editor, Garcia, Alessandro, editor, Giese, Holger, editor, Leung, Ho-fung, editor, Lucena, Carlos, editor, and Romanovsky, Alexander, editor

Published
2007
Full Text
View/download PDF

46. On Developing Open Mobile Fault Tolerant Agent Systems

Author

Arief, Budi, Iliasov, Alexei, Romanovsky, Alexander, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Choren, Ricardo, editor, Garcia, Alessandro, editor, Giese, Holger, editor, Leung, Ho-fung, editor, Lucena, Carlos, editor, and Romanovsky, Alexander, editor

Published
2007
Full Text
View/download PDF

47. On Specification and Verification of Location-Based Fault Tolerant Mobile Systems

Author

Iliasov, Alexei, Khomenko, Victor, Koutny, Maciej, Romanovsky, Alexander, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Butler, Michael, editor, Jones, Cliff B., editor, Romanovsky, Alexander, editor, and Troubitsyna, Elena, editor

Published
2006
Full Text
View/download PDF

48. Rigorous Development of Fault-Tolerant Agent Systems

Author

Laibinis, Linas, Troubitsyna, Elena, Iliasov, Alexei, Romanovsky, Alexander, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Butler, Michael, editor, Jones, Cliff B., editor, Romanovsky, Alexander, editor, and Troubitsyna, Elena, editor

Published
2006
Full Text
View/download PDF

49. Structured Coordination Spaces for Fault Tolerant Mobile Agents

Author

Iliasov, Alexei, Romanovsky, Alexander, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dony, Christophe, editor, Knudsen, Jørgen Lindskov, editor, Romanovsky, Alexander, editor, and Tripathi, Anand, editor

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results