|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1404 occurrences of 649 keywords
|
|
|
Results
Found 2636 publication records. Showing 2636 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Brendan P. Mahony, Jin Song Dong |
Timed Communicating Object Z. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z |
22 | Jing Liu, Jin Song Dong, Jing Sun 0002 |
TRMCS in TCOZ. |
IWSSD |
2000 |
DBLP BibTeX RDF |
real-time modeling, formal specification, CSP, Z, TCOZ |
22 | Jan Peleska 0001 |
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. |
FME |
1996 |
DBLP DOI BibTeX RDF |
test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR |
22 | Peter Aczel |
Final Universes of Processes. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra |
22 | Ernst-Rüdiger Olderog |
From Trace Specifications to Process Terms. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes |
22 | Ernst-Rüdiger Olderog |
Strong bisimilarity on nets: a new concept for comparing net semantics. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness |
22 | Luc Bougé, Nissim Francez |
A Compositional Approach to Superimposition. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
CSP |
22 | Dániel Marx |
Approximating fractional hypertree width. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Miki Hermann, Florian Richoux |
On the Computational Complexity of Monotone Constraint Satisfaction Problems. |
WALCOM |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Motoaki Kawanabe, Carmen Vidaurre, Benjamin Blankertz, Klaus-Robert Müller |
A Maxmin Approach to Optimize Spatial Filters for EEG Single-Trial Classification. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Demian Antony D'Mello, V. S. Ananthanarayana |
A tree structure for web service compositions. |
Bangalore Compute Conf. |
2009 |
DBLP DOI BibTeX RDF |
service offer, QoS, composition, service selection |
22 | Peter Y. H. Wong, Jeremy Gibbons |
Property Specifications for Workflow Modelling. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Gábor Kun, Mario Szegedy |
A new line of attack on the dichotomy conjecture. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
term operations, computational complexity, constraint satisfaction problems, fourier analysis, NP, dichotomy |
22 | Lin Wang 0038, Wee Keong Ng, Bing Song |
Constraint Satisfaction Approach on Product Configuration with Cost Estimation. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration |
22 | Joaquín Bautista, Jordi Pereira, Belarmino Adenso-Díaz |
A Beam Search approach for the optimization version of the Car Sequencing Problem. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Car sequencing problem, Scheduling, Beam search |
22 | Juha Partala, Tapio Seppänen |
On the conjugacy search problem and left conjugacy closed loops. |
Appl. Algebra Eng. Commun. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Conjugacy search, Non-associative, Cryptography, Key exchange, Conjugacy problem |
22 | Jo Ueyama, Edmundo Roberto Mauro Madeira, Paul Grace |
FlexPar: Reconfigurable Middleware for Parallel Environments. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Kazunori Mizuno, Yukio Fukui, Seiichi Nishihara |
Urban Traffic Signal Control Based on Distributed Constraint Satisfaction. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Yuechang Liu, Yunfei Jiang, Hong Qian |
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
An Elimination Algorithm for Functional Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Bodirsky, Jan Kára |
The complexity of temporal constraint satisfaction problems. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
complexity, constraint satisfaction, temporal reasoning |
22 | Jinlin Chen, Terry Cook |
Mining contiguous sequential patterns from web logs. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
contiguous sequential pattern, web usage mining, sequential pattern |
22 | Kazunori Mizuno, Seiichi Nishihara |
Distributed Constraint Satisfaction for Urban Traffic Signal Control. |
KSEM |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Gábor Kun, Jaroslav Nesetril |
NP by Means of Lifts and Shadows. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
duality, Constraint Satisfaction Problem, homomorphism, Digraph, NP |
22 | Yuki Yokoe, Yoshimichi Ito, Noboru Babaguchi |
Audio-Based Estimation of Speakers Directions for Multimedia Meeting Logs. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Ruhroth, Heike Wehrheim |
Refactoring Object-Oriented Specifications with Data and Processes. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Alfonso Gerevini, Alessandro Saetti |
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini |
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Simon J. E. Taylor, Xiaoguang Wang 0002, Stephen John Turner, Malcolm Y. H. Low |
Integrating Heterogeneous Distributed COTS Discrete-Event Simulation Packages: An Emerging Standards-Based Approach. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
22 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. |
Constraints An Int. J. |
2006 |
DBLP DOI BibTeX RDF |
Symmetry, Constraint satisfaction problems |
22 | Franco Tommasi, Simone Molendini, Andrea Tricco |
Network Management via Satellite. |
NOMS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jian Feng Zhang, Ryszard Kowalczyk |
Agent-based Dis-graph Planning Algorithm for Web Service Composition. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny |
Towards an Algebra of Abstractions for Communicating Processes. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Su Chen, Tomasz Imielinski, Karin Johnsgard, Donald Smith, Mario Szegedy |
A Dichotomy Theorem for Typed Constraint Satisfaction Problems. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Xiaofeng Wu, Vassilios A. Chouliaras, José L. Núñez-Yáñez, Roger Goodall, Tanya Vladimirova |
A Novel Processor Architecture for Real-Time Control. |
Asia-Pacific Computer Systems Architecture Conference |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Ryota Tomioka, Guido Dornhege, Guido Nolte, Kazuyuki Aihara, Klaus-Robert Müller |
Optimizing Spectral Filters for Single Trial EEG Classification. |
DAGM-Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Xue Wang 0001, Sheng Wang 0010 |
Peer-to-Peer Collaborative Signal Processing for Target Tracking in Wireless Sensor Networks. |
GCC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Johannes Faber, Roland Meyer 0001 |
Model Checking Data-Dependent Real-Time Properties of the European Train Control System. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Peter H. Welch, Fred R. M. Barnes, Fiona Polack |
Communicating Complex Systems. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Hubie Chen |
Periodic Constraint Satisfaction Problems: Tractable Subclasses. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
periodic problems, polynomial-time algorithms |
22 | Jifeng He 0001, C. A. R. Hoare |
Linking Theories of Concurrency. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | André Trudel, Haiyi Zhang |
Exploiting the Relationship between IA Networks and Finite Domain CSPs. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
22 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Gustav Hast |
Beating a Random Assignment. |
APPROX-RANDOM |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Heiko Rossnagel, Denis Royer |
Making Money with Mobile Qualified Electronic Signatures. |
TrustBus |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Malek Mouhoub |
Reasoning with Numeric and Symbolic Time Information. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning |
22 | S. Braathen, O. J. Sendstad |
A hybrid fuzzy logic/constraint satisfaction problem approach to automatic decision making in simulation game models. |
IEEE Trans. Syst. Man Cybern. Part B |
2004 |
DBLP DOI BibTeX RDF |
|
22 | David A. Cohen |
Tractable Decision for a Constraint Language Implies Tractable Search. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
complexity, language, tractability |
22 | Andrei A. Bulatov |
A Graph of a Relational Structure and Constraint Satisfaction Problems. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Ryan Williams 0001 |
A New Algorithm for Optimal Constraint Satisfaction and Its Implications. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Ying Xiao 0001, Krishnaiyan Thulasiraman, Guoliang Xue |
The Primal Simplex Approach to the QoS Routing Problem. |
QSHINE |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier |
How to Verify Dynamic Properties of Information Systems. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Peter Triantafillou, Ioannis Aekaterinidis |
Web Proxy Cache Replacement: Do's, Don'ts, and Expectations. |
NCA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace |
Greater Efficiency for Conditional Constraint Satisfaction. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Tomas Eric Nordlander, Kenneth N. Brown, Derek H. Sleeman |
Identifying Inconsistent CSPs by Relaxation. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Hubie Chen |
Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
22 | David G. Mitchell |
Resolution and Constraint Satisfaction. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Alexandre Mota 0001, Paulo Borba, Augusto Sampaio |
Mechanical Abstraction of CSPZ Processes. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Boi Faltings, Santiago Macho-Gonzalez |
Open Constraint Satisfaction. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Aditya Ghose, Peter Harvey |
Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante |
An Integrated Approach to Specification and Validation of Real-Time Systems. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Uwe Schöning |
A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems. |
FOCS |
1999 |
DBLP DOI BibTeX RDF |
satisfiability, constraint satisfaction problem, local-search algorithm, k-SAT |
22 | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi |
3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. |
ICIAP |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Ali E. Abdallah |
Synthesis of Massively Pipelined Algorithms for List Manipulation. |
Euro-Par, Vol. II |
1996 |
DBLP DOI BibTeX RDF |
|
22 | R. Govindarajan, Sheng Yu 0001 |
Data Flow Implementation of Generalized Guarded Commands. |
PARLE (1) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Valérie Issarny |
Design and Implementation of an Exception Handling Mechanism for Communicating Sequential Processes. |
CONPAR |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Luc Bougé |
On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract). |
WDAG |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Mohd Fadzil Hassan 0001, Dave Robertson 0001 |
Addressing the Brittleness of Agent Interaction. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
Brittle agent interaction, constraint relaxation for agent interaction, Distributed Partial CSP for computation of agent interaction |
21 | Lucian Leahu, Carla P. Gomes |
Quality of LP-Based Approximations for Highly Combinatorial Problems. |
CP |
2004 |
DBLP DOI BibTeX RDF |
hybrid LP/CSP, approximations, phase transition, search heuristics |
21 | Amnon Meisels, Natalia Lusternik |
Experiments on Networks of Employee Timetabling Problems. |
PATAT |
1997 |
DBLP DOI BibTeX RDF |
Employee Timetabling, Experimental CSP, Non binary constraints, Constraint Networks |
21 | J. C. Tay, S. Y. Huang, Hiok Chai Quek |
CSL (Part II): Modelling General N-ary, Logical CSPs. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
CSL algebra, constraint specification language, n-ary logical constraint satisfaction problem, executable data structures, binary CSP algorithms, design, compiler, implementation, constraint handling |
21 | Georgios Theodoropoulos 0001, J. V. Woods |
Simulating Asynchronous Architectures on Transputer Networks. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
asynchronous architecture simulation, asynchronous design techniques, clock related timing problems, CSP based parallel language, asynchronous architectural simulation models, parallel architectures, logic design, asynchronous circuits, circuit analysis computing, parallel languages, Occam, Occam, asynchronous logic, transputer systems, transputer networks |
21 | Richard N. Taylor, David L. Levine, Cheryl D. Kelly |
Structural Testing of Concurrent Programs. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs |
21 | Leo Yuhsiang Liu, R. K. Shyamasundar |
Static Analysis of Real-Time Distributed Systems. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors |
20 | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara |
Compiling finite linear CSP into SAT. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems |
20 | Peter Nightingale |
Non-binary quantified CSP: algorithms and modelling. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
QCSP, Quantified constraints, Reasoning algorithm, Modelling, Propagation algorithm |
20 | Allan I. McInnes |
Using CSP to Model and Analyze TinyOS Applications. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
Sequential Encodings from Max-CSP into Partial Max-SAT. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Adriana Damasceno, Adalberto Farias, Alexandre Mota 0001 |
A Mechanized Strategy for Safe Abstraction of CSP Specifications. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Wen Su, Fan Yang, Huibiao Zhu, Qin Li 0002 |
Modeling MapReduce with CSP. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Temesghen Kahsai, Markus Roggenbach |
Property Preserving Refinement for Csp-Casl. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jinzhao Wu, Shihan Yang |
Timed CSP for Safety Specification of Hybrid System. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson |
A New CSP Operator for Optional Parallelism. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ronald Poppe, Mannes Poel |
Discriminative human action recognition using pairwise CSP classifiers. |
FG |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George |
A Translation from RSL to CSP. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob |
A CSP model of Eiffel's SCOOP. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
SCOOP, Formal methods, Concurrency, Programming languages, Eiffel |
20 | Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell |
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans |
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Lilian Janin, Doug Edwards |
CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse. |
ICCSA (3) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Marco Gavanelli |
The Log-Support Encoding of CSP into SAT. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Peter Gregory, Derek Long, Maria Fox 0001 |
A Meta-CSP Model for Optimal Planning. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006 |
Verifying Choreographic Descriptions of Web Services Based on CSP. |
SCW |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Madalina Ionita, Cornelius Croitoru, Mihaela Breaban |
Incorporating Inference into Evolutionary Algorithms for Max-CSP. |
Hybrid Metaheuristics |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Siraj A. Shaikh, Christos K. Dimitriadis |
Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions. |
SPC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Mohand Ou Idir Khemmoudj, Hachemi Bennaceur |
Clique Inference Process for Solving Max-CSP. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Philippe Jégou, Samba Ndiaye, Cyril Terrioux |
An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara |
Compiling Finite Linear CSP into SAT. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Vibhav Gogate, Rina Dechter |
A New Algorithm for Sampling CSP Solutions Uniformly at Random. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Marco Benedetti, Arnaud Lallouet, Jérémie Vautard |
Reusing CSP Propagators for QCSPs. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
QCSP, Quantified Languages |
20 | Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider |
Specifying Authentication Using Signal Events in CSP. |
CISC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 2636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|