|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1178 occurrences of 651 keywords
|
|
|
Results
Found 3891 publication records. Showing 3886 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001 |
Unification & Sharing in Timed Automata Verification. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Cormac Flanagan, Shaz Qadeer |
Thread-Modular Model Checking. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | David Garlan, Serge Khersonsky, Jung Soo Kim |
Model Checking Publish-Subscribe Systems. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan |
The Maude LTL Model Checker and Its Implementation. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Dragan Bosnacki, Stefan Leue (eds.) |
Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Dennis Dams |
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tiziana Margaria, Oliver Niese, Bernhard Steffen |
Demonstration of an Automated Integrated Test Environment for Web-Based Applications. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Benedikt Bollig, Martin Leucker, Michael Weber 0002 |
Local Parallel Model Checking for the Alternation-Free µ-Calculus. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Per Bjesse |
Industrial Model Checking Based on Satisfiability Solvers. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Edmund M. Clarke |
SAT-Based Counterexample Guided Abstraction Refinement. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Alex Groce, Willem Visser |
Heuristic Model Checking for Java Programs. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Radu Iosif |
Symmetry Reduction Criteria for Software Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Patrick Cousot |
Abstract Interpretation: Theory and Practice. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Harry C. Li, Kathi Fisler, Shriram Krishnamurthi |
The Influence of Software Module Systems on Modular Verification. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue |
Partial Order Reduction in Directed Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Denis Lugiez, Peter Niebert, Sarah Zennou |
Dynamic Bounds and Transition Merging for Local First Search. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Yves-Marie Quemener |
A Typical Testing Problem: Validating WML Cellphones. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Matthew B. Dwyer (eds.) |
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Flavio Lerda, Willem Visser |
Addressing Dynamic Issues of Program Model Checking. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Ball, Sriram K. Rajamani |
Automatically Validating Temporal Safety Properties of Interfaces. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Doron A. Peled, Lenore D. Zuck |
From Model Checking to a Temporal Proof. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal |
Applications of Model Checking at Honeywell Laboratories. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Bernhard Steffen, Tiziana Margaria, Volker Braun |
Coarse-Granular Model Checking in Practice. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Javier Esparza, Keijo Heljanko |
Implementing LTL Model Checking with Net Unfoldings. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache |
Parallel State Space Construction for Model-Checking. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS |
28 | Rob Gerth |
Model Checking if Your Life Depends on It a View from Intel's Trenches. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Scott D. Stoller, Yanhong A. Liu |
Transformations for Model Checking Distributed Java Programs. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Leszek Holenderski |
A Model Checking Project at Philips Research. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Guoping Jia, Susanne Graf |
Verification Experiments on the MASCARA Protocol. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled (eds.) |
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996 |
The Spin Verification System |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Siedfried Löffler, Ahmed Serhrouchni |
Creating implementations from Promela models. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Orna Kupferman |
Not checking for closure under stuttering. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi |
A simulation and validation tool for self-stabilizing protocols. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled |
Preface. |
The Spin Verification System |
1996 |
DBLP BibTeX RDF |
|
28 | Fred S. Roberts, Bernard Chazelle, Stephen R. Mahaney |
Foreword. |
The Spin Verification System |
1996 |
DBLP BibTeX RDF |
|
28 | Elie Najm, Frank Olsen |
Protocol verification with reactive Promela/Rspin. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Peter B. Ladkin |
Implementing and verifying MSC specifications using Promela/XSpin. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | V. Natarajan, Gerard J. Holzmann |
Outline for an operational semantics of Promela. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis |
On nested depth first search. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Charles Grégoire |
State space compression with graph encoded sets. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
28 | John W. O'Leary, Bratin Saha, Mark R. Tuttle |
Model Checking Transactional Memory with Spin. |
ICDCS |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Jaewan Seo, Moonseong Kim, Sang-Hun Cho, Hyunseung Choo |
An Energy and Distance Aware Data Dissemination Protocol Based on SPIN in Wireless Sensor Networks. |
ICCSA (1) |
2008 |
DBLP DOI BibTeX RDF |
Data Dissemination Protocol, Wireless Sensor Networks, Energy Efficiency, Lifetime, SPMS |
28 | Yiran Chen 0001, Xiaobin Wang, Hai Li 0001, Harry Liu, Dimitar V. Dimitrov |
Design Margin Exploration of Spin-Torque Transfer RAM (SPRAM). |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen |
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Dragan Bosnacki |
The Design of a Multicore Extension of the SPIN Model Checker. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Logics and meanings of Programs, Model Checking, Distributed Programming, Models of Computation, Software/Program Verification |
28 | Andrei Bautu, Elena Bautu |
Searching Ground States of Ising Spin Glasses with Genetic Algorithms and Binary Particle Swarm Optimization. |
NICSO |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Miki Aoyagi, Sumio Watanabe |
Resolution of Singularities and Stochastic Complexity of Complete Bipartite Graph-Type Spin Model in Bayesian Estimation. |
MDAI |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Andrei Bautu, Elena Bautu, Henri Luchian |
Particle Swarm Optimization Hybrids for Searching Ground States of Ising Spin Glasses. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Martin Pelikan, Alexander K. Hartmann, Kumara Sastry |
Hierarchical BOA, Cluster Exact Approximation, and Ising Spin Glasses. |
PPSN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Timothy Bisson, Scott A. Brandt, Darrell D. E. Long |
NVCache: Increasing the Effectiveness of Disk Spin-Down Algorithms with Caching. |
MASCOTS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Makoto Uchida, Susumu Shirayama |
A New Analysis Method for Complex Network Based on Dynamics of Spin Diffusion. |
International Conference on Computational Science (3) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Achraf Makni, Rafik Bouaziz, Faïez Gargouri |
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Cristina Conde, Licesio J. Rodríguez-Aragón, Enrique Cabello |
Automatic 3D Face Feature Points Extraction with Spin Images. |
ICIAR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Joes Staal, Stiliyan Kalitzin, Max A. Viergever |
A Trained Spin-Glass Model for Grouping of Image Primitives. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jonathan Z. Sun |
Spin-transfer Induced Switching in Magnetic Nanopillars. |
ICMENS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Alexandr A. Savinov |
SPIN! Data Mining System Based on Component Architecture. |
PKDD |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Yongjian Li, Rui Xue |
Design of a CIL Connector to SPIN. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Eunice E. Santos, Gayathri Muthukrishnan |
Efficient Simulation Based on Sweep Selection for 2-D and 3-D Ising Spin Models on Hierarchical Clusters. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou Desbarbieux |
Design Validation of ZCSP with SPIN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo |
Using Spin to Generate Testsfrom ASM Specifications. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Grzegorz Kamieniarz, Ryszard Matysiak |
Deterministic Large-Scale Simulations of the Low-Dimensional Magnetic Spin Systems. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Martha González |
SPIN: A Toolkit for Distributed Scientific Computing. |
SCCC |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Martin E. Dyer, Alistair Sinclair, Eric Vigoda, Dror Weitz |
Mixing in Time and Space for Lattice Spin Systems: A Combinatorial View. |
RANDOM |
2002 |
DBLP DOI BibTeX RDF |
|
28 | S. Roy, G. Kar |
Quantum Cryptography, Eavesdropping, and Unsharp Spin Measurement. |
QCQC |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi |
Using the Model Checker Spin for Web Application Design. |
SAINT |
2010 |
DBLP DOI BibTeX RDF |
Model Checking, Web Application, Spin |
27 | Hui Jin, Yue-ling Zhao, Da-zhi Wang |
Optimal Scheduling for the Cleaning Spin Pack in Polyester Production. |
HIS (1) |
2009 |
DBLP DOI BibTeX RDF |
Polyester filament, MNILP, spin pack, scheduling, Tabu search |
27 | Simon Kos, Marina Hruska, Scott A. Crooker, Avadh Saxena, Darryl L. Smith |
Modeling Spin-Polarized Electron Transport in Semiconductors for Spintronics Applications. |
Comput. Sci. Eng. |
2007 |
DBLP DOI BibTeX RDF |
semiconductor spintronics, electron charge, electronic spin, numerical solution |
27 | Peter Damaschke |
Multiple Spin-Block Decisions. |
Algorithmica |
2006 |
DBLP DOI BibTeX RDF |
Spin-block problem, Implementationlinebreak[4] issues, Multithreading, Online algorithms, Randomization |
27 | John Zahorjan, Edward D. Lazowska, Derek L. Eager |
The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Systems. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
scheduling discipline, spin overhead, shared memory parallel systems, busywaiting, data-dependent execution, memoryarchitecture, scheduling, performance evaluation, parallel machines, spinning, multiprogramming, parallel processors |
24 | Feng Shi 0010, Yiorgos Makris |
Enhancing Simulation Accuracy through Advanced Hazard Detection in Asynchronous Circuits. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Edward G. Belaga, Daniel Grucker, Tarek Khalil, Jean Richert, Kees van Schenk Brill |
Water as a Quantum Computing Device. |
UC |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Toshiaki Aoki |
Model Checking Multi-Task Software on Real-Time Operating Systems. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Alex Groce, Rajeev Joshi |
Random testing and model checking: building a common framework for nondeterministic exploration. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
model checking, dynamic analysis, random testing, test frameworks |
24 | Annika Wolff, Paul Mulholland, Zdenek Zdráhal, Richard W. Joiner |
Combining gameplay and narrative techniques to enhance the user experience of viewing galleries. |
Comput. Entertain. |
2007 |
DBLP DOI BibTeX RDF |
child-friendly interface, content reuse, games, narrative |
24 | Jeffrey P. Rybczynski, Darrell D. E. Long, Ahmed Amer |
Adapting Predictions and Workloads for Power Management. |
MASCOTS |
2006 |
DBLP DOI BibTeX RDF |
Access Prediction, Disk Management, Energy Conservation, Power-Aware Computing |
24 | Shahid Jabbar, Stefan Edelkamp |
I/O Efficient Directed Model Checking. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Stéphane Louis Dit Picard, Samuel Degrande, Christophe Gransart, Christophe Chaillou, Grégory Saugis |
VRML97 distributed authoring interface. |
Web3D |
2003 |
DBLP DOI BibTeX RDF |
External Application Interface (EAI), Common Object Request Broker Architecture (CORBA), Virtual Reality Modeling Language (VRML), Collaborative Virtual Environment (CVE) |
24 | Taro Nagahama, Shinji Yuasa, Yoshishige Suzuki |
Quantum Size Effect in Magnetic Tunnel Junctions with Single-Crystal Ultrathin Electrodes. |
ICMENS |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Michael Schmitt, Maximilian Ibel, Anurag Acharya 0001, Klaus E. Schauser |
Adaptive Receiver Notification for Non-Dedicated Workstation Clusters. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
Message Passing, Cluster Computing, SCI, Co-Scheduling, Active Messages |
24 | Andrea C. Arpaci-Dusseau, David E. Culler, Alan M. Mainwaring |
Scheduling with Implicit Information in Distributed Systems. |
SIGMETRICS |
1998 |
DBLP DOI BibTeX RDF |
|
24 | John M. Mellor-Crummey, Michael L. Scott |
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. |
ACM Trans. Comput. Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Anna R. Karlin, Kai Li 0001, Mark S. Manasse, Susan S. Owicki |
Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. |
SOSP |
1991 |
DBLP DOI BibTeX RDF |
|
24 | D. G. McVitie, L. B. Wilson |
The Stable Marriage Problem. |
Commun. ACM |
1971 |
DBLP DOI BibTeX RDF |
|
23 | Moonseong Kim, Matt W. Mutka, Hyunseung Choo |
A Hierarchical Data Dissemination Protocol Using Probability-Based Clustering for Wireless Sensor Networks. |
HCI (9) |
2009 |
DBLP DOI BibTeX RDF |
Data Dissemination Protocol, Wireless Sensor Networks (WSNs), Energy Efficiency, Network Lifetime, SPIN, SPMS |
23 | Amar Kumar Behera, Shiv G. Kapoor, Richard E. DeVor |
A Classification and Coding System for Micro-Assembly. |
IPAS |
2008 |
DBLP DOI BibTeX RDF |
micro-parts, micro-assembly, spin bearing, classification, coding |
23 | Haibin Ling, Kazunori Okada |
An Efficient Earth Mover's Distance Algorithm for Robust Histogram Comparison. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
histogram-based descriptor, interest point matching, shape matching, SIFT, transportation problem, Earth Mover's Distance, shape context, spin image |
23 | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
intrusion attacks, e-commerce protocols, model checking, SPIN |
23 | Indranil Saha, Debapriyay Mukhopadhyay |
A Distributed Algorithm of Fault Recovery for Stateful Failover. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
stateful failover, verification of programs, distributed algorithm, SPIN model checker |
23 | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
Model Checking Temporal Metric Specifications with Trio2Promela. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin |
23 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
Verifying Multi-agent Programs by Model Checking. |
Auton. Agents Multi Agent Syst. |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming |
23 | Xi Chen 0024, Harry Hsieh, Felice Balarin |
Verification Approach of Metropolis Design Framework for Embedded Systems. |
Int. J. Parallel Program. |
2006 |
DBLP DOI BibTeX RDF |
metropolis, simulation, formal verification, meta-model, spin, LTL, property, LOC |
23 | Yi Liu, Hongbin Zha, Hong Qin 0001 |
The Generalized Shape Distributions for Shape Matching and Analysis. |
SMI |
2006 |
DBLP DOI BibTeX RDF |
Shape distributions, Vector quantization and spatial layouts, Spin images |
23 | Stéphane Maag, Fatiha Zaïdi |
Testing methodology for an ad hoc routing protocol. |
PM2HW2N |
2006 |
DBLP DOI BibTeX RDF |
PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN |
23 | John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger |
Verifying Time Partitioning in the DEOS Scheduling Kernel. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
program model checking, time partitioning, verification, spin, predicate abstraction |
23 | YoungJoon Byun, Beverly A. Sanders |
A pattern-based development methodology for communication protocols. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
design pattern, communication protocols, pattern language, development methodology, SPIN model checker |
23 | Alastair F. Donaldson, Alice Miller 0001 |
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction |
23 | Noga Alon, Konstantin Makarychev, Yury Makarychev, Assaf Naor |
Quadratic forms on graphs. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
Grothendieck's inequaity, rounding techniques, correlation clustering, spin glasses |
23 | Jeffrey P. Rybczynski, Darrell D. E. Long, Ahmed Amer |
Expecting the unexpected: adaptation for predictive energy conservation. |
StorageSS |
2005 |
DBLP DOI BibTeX RDF |
disk spin-down, mobile computing, prediction, power management, prefetching, adaptive policies |
23 | Twan Basten, Dragan Bosnacki, Marc Geilen |
Cluster-Based Partial-Order Reduction. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion |
23 | Manuel J. Fernández-Iglesias, Martín Llamas Nistal |
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
undergraduate courses, Spin, Protocol engineering, Promela, case-based learning |
Displaying result #601 - #700 of 3886 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|