default search action
Journal of Computer and System Sciences, Volume 80
Volume 80, Number 1, February 2014
- Sebastián Ventura
, Cristóbal Romero
Foreword: Intelligent data analysis. 1-2
- Manuel Baena-García, José M. Carmona-Cejudo, Rafael Morales Bueno:
String analysis by sliding positioning strategy. 3-15 - Prakash Shelokar
Three-objective subgraph mining using multiobjective evolutionary programming. 16-26 - Abir Smiti, Zied Elouedi:
WCOID-DG: An approach for case base maintenance based on Weighting, Clustering, Outliers, Internal Detection and Dbsan-Gmeans. 27-38 - Ricardo Cerri
Hierarchical multi-label classification using local neural networks. 39-56 - Alvaro Ortigosa, Rosa M. Carro
Predicting user personality by mining social interactions in Facebook. 57-71 - Pasquale De Meo, Emilio Ferrara
Mixing local and global information for community detection in large networks. 72-87 - José Otero
Bootstrap analysis of multiple repetitions of experiments using an interval-valued multiple comparison procedure. 88-100 - David García, Antonio González Muñoz
A feature construction approach for genetic iterative rule learning algorithm. 101-117 - María Martínez-Ballesteros
Discovering gene association networks by multi-objective evolutionary quantitative association rules. 118-136
- Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Branching-time model-checking of probabilistic pushdown automata. 139-156 - Fedor V. Fomin
Parameterized complexity of connected even/odd subgraph problems. 157-179 - Robert Ganian
Lower bounds on the complexity of MSO1 model-checking. 180-194 - Kaiping Xue, Peilin Hong, Changsha Ma:
A lightweight dynamic pseudonym identity based authentication and key agreement protocol without verification tables for multi-server architecture. 195-206 - Archontia C. Giannopoulou, Iosif Salem
Effective computation of immersion obstructions for unions of graph classes. 207-216 - Jin-Yi Cai, Pinyan Lu
The complexity of complex weighted Boolean #CSP. 217-236 - Shuping Wan
A possibility degree method for interval-valued intuitionistic fuzzy multi-attribute group decision making. 237-256 - Paolo Romano
On speculative replication of transactional systems. 257-276 - Arnaud Durand, Stefan Mengel:
The complexity of weighted counting for acyclic conjunctive queries. 277-296 - Mika Göös, Tuomo Lempiäinen
Search methods for tile sets in patterned DNA self-assembly. 297-319
Volume 80, Number 2, March 2014
- Anuj Dawar
Editor's foreword: WoLLIC 2010. 321-322 - Naeem Abbasi, Osman Hasan
An approach for lifetime reliability analysis using theorem proving. 323-345 - Aditi Barthwal, Michael Norrish
A mechanisation of some context-free language theory in HOL4. 346-362 - Tomer Kotek, Johann A. Makowsky:
A representation theorem for (q-)holonomic sequences. 363-374 - Markus Latte, Martin Lange:
Branching-time logics with path relativisation. 375-389 - Glyn Morrill, Oriol Valentín
Displacement logic for anaphora. 390-409 - Renata Hax Sander Reiser
Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions. 410-425
- Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran:
Belief revision within fragments of propositional logic. 427-449 - Aryeh Kontorovich, Ari Trachtenberg:
Deciding unique decodability of bigram counts via finite automata. 450-456 - Adrian Ionescu, Ernst L. Leiss:
On the role of complementation in implicit language equations and relations. 457-467 - Fedor V. Fomin
Preprocessing subgraph and minor problems: When does a small vertex cover help? 468-495
- William Hesse, Eric Allender
Corrigendum to "Uniform constant-depth threshold circuits for division and iterated multiplication" [J. Comput. System Sci. 65(4) (2002) 695-716]. 496-497
Volume 80, Number 3, May 2014
- Al-Sakib Khan Pathan
Defending against wireless network intrusion. 499-501
- Alif Wahid, Christopher Leckie
Estimating the number of hosts corresponding to an intrusion alert while preserving privacy. 502-519 - Yifan Zhao, Swee-Won Lo, Robert H. Deng
Technique for authenticating H.264/SVC and its performance evaluation over wireless mobile networks. 520-532 - Yang Yang:
Broadcast encryption based non-interactive key distribution in MANETs. 533-545 - Zhiwei Wang, Guozi Sun, Danwei Chen:
A new definition of homomorphic signature for identity management in mobile cloud computing. 546-553 - Paulo Manoel Mafra, Joni da Silva Fraga, Altair Olivo Santin
Algorithms for a distributed IDS in MANETs. 554-570 - Manuel Gil Pérez
Building a reputation-based bootstrapping mechanism for newcomers in collaborative alert systems. 571-590 - Saeed Ur Rehman
Analysis of impersonation attacks on systems using RF fingerprinting and low-end receivers. 591-601 - Guangjie Han, Jinfang Jiang, Lei Shu
Management and applications of trust in Wireless Sensor Networks: A survey. 602-617 - Thanassis Giannetsos, Tassos Dimitriou:
LDAC: A localized and decentralized algorithm for efficiently countering wormholes in mobile wireless networks. 618-643 - Hosein Shafiei
Detection and mitigation of sinkhole attacks in wireless sensor networks. 644-653 - Mauro Conti
Clone wars: Distributed detection of clone attacks in mobile WSNs. 654-669 - Leonardo Maccari
Betweenness estimation in OLSR-based multi-hop networks for distributed filtering. 670-685
Volume 80, Number 4, June 2014
- Robert Crowston, Michael R. Fellows
Satisfying more than half of a system of linear equations over GF(2): A multivariate approach. 687-696 - Edith Hemaspaandra, Lane A. Hemaspaandra
The complexity of online manipulation of sequential elections. 697-710 - Gabriele Fici
On the structure of bispecial Sturmian words. 711-719 - Stanislav Böhm, Stefan Göller, Petr Jancar
Bisimulation equivalence and regularity for real-time one-counter automata. 720-743 - Richard Královic:
Infinite vs. finite size-bounded randomized computations. 744-765 - Sam Buss, Michael Soltys
Unshuffling a square is NP-hard. 766-776 - Sanjay Jain, Eric Martin, Frank Stephan
Robust learning of automatic classes of languages. 777-795 - Carlos Gómez-Rodríguez
Finding the smallest binarization of a CFG is NP-hard. 796-805 - John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin
Automatic learners with feedback queries. 806-820 - Stefania Tosi, Sara Casolari, Michele Colajanni
Detecting correlation between server resources for system management. 821-836 - Qi Duan, Jinhui Xu:
On the connectivity preserving minimum cut problem. 837-848 - Ali Çivril
Column Subset Selection Problem is UG-hard. 849-859 - Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. 860-900
Volume 80, Number 5, August 2014
- Rebecca Capone:
Publisher's note. 901
- Jinjun Chen, Jianxun Liu:
Special Issue: Dependable and Secure Computing. 902
- Yongming Xie, Guojun Wang:
Message matching-based greedy behavior detection in delay tolerant networks. 903-915 - Aarthi Nagarajan, Vijay Varadharajan
Trust enhanced distributed authorisation for web services. 916-934 - Christopher Bailey, David W. Chadwick
Self-adaptive federated authorization infrastructures. 935-952 - Atef Shalan, Mohammad Zulkernine:
Software control flow error detection and correlation with system performance deviation. 953-972 - Julian Jang-Jaccard
A survey of emerging threats in cybersecurity. 973-993 - Jiaqi Zhao, Lizhe Wang
A security framework in G-Hadoop for big data computing across distributed Cloud data centres. 994-1007 - Xuyun Zhang
A hybrid approach for scalable sub-tree anonymization over big data using MapReduce on cloud. 1008-1020 - Yu Wang
Internet traffic clustering with side information. 1021-1036
Volume 80, Number 6, September 2014
- Lev D. Beklemishev
Editors' foreword. 1037 - Antonis Achilleos
A complexity question in justification logic. 1038-1045 - Samuel Bucheli, Roman Kuznets
Realizing public announcements by justifications. 1046-1066 - Ranald Clouston:
Nominal Lawvere Theories: A category theoretic account of equational theories with names. 1067-1086 - Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides
Polynomial hierarchy graph properties in hybrid logic. 1087-1101 - Santiago Figueira, Daniel Gorín, Rafael Grimson:
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. 1102-1118 - Julian Gutierrez, Glynn Winskel:
On the determinacy of concurrent games on event structures with infinite winning sets. 1119-1137 - Max I. Kanovich:
Multiset rewriting over Fibonacci and Tribonacci numbers. 1138-1151 - Juha Kontinen
A characterization of definability of second-order generalized quantifiers with applications to non-definability. 1152-1162 - Rick Statman:
On polymorphic types of untyped terms. 1163-1173
Volume 80, Number 7, November 2014
- Julio Aracena, Adrien Richard, Lilian Salinas
Maximum number of fixed points in AND-OR-NOT networks. 1175-1190 - Tom J. Ameloot, Jan Van den Bussche
Positive Dedalus programs tolerate non-causality. 1191-1213 - Edith Cohen, Nick G. Duffield
Algorithms and estimators for summarization of unaggregated data streams. 1214-1244 - Amihood Amir, Alberto Apostolico, Gad M. Landau, Avivit Levy, Moshe Lewenstein, Ely Porat:
Range LCP. 1245-1253 - Jesús García-López, Florin Manea, Victor Mitrana
Prefix-suffix duplication. 1254-1265 - Nikolaos Laoutaris
Bounded Budget Connection (BBC) games or how to make friends and influence people, on a budget. 1266-1284 - Cristina Bazgan, Morgan Chopin
Parameterized complexity of firefighting. 1285-1297 - Manfred Broy:
Verifying of interface assertions for infinite state Mealy machines. 1298-1322 - Amir Talaei-Khoei, Suchada Vichitvanichphong, Terje Solvoll, Pradeep Ray
A methodology to develop awareness in computer supported collaborative work using policies. 1323-1338 - Chunguang Li, Shouzhen Zeng
A method based on induced aggregation operators and distance measures to multiple attribute decision making under 2-tuple linguistic environment. 1339-1349 - Haitao Jiang, Binhai Zhu:
A linear kernel for the complementary maximal strip recovery problem. 1350-1358 - Christian Glaßer, Stephen D. Travers, Klaus W. Wagner:
Perfect correspondences between dot-depth and polynomial-time hierarchies. 1359-1373 - Fedor V. Fomin
Searching for better fill-in. 1374-1383 - Matthias Mnich
Beyond Max-Cut: λ-extendible properties parameterized above the Poljak-Turzík bound. 1384-1403 - Moein Kianpour
A novel design of 8-bit adder/subtractor by quantum-dot cellular automata. 1404-1414 - Albert Atserias, Sergi Oliva:
Bounded-width QBF is PSPACE-complete. 1415-1429 - Fedor V. Fomin
Tight bounds for parameterized complexity of Cluster Editing with a small number of clusters. 1430-1447 - Sergio Flesca
Consistency checking and querying in probabilistic databases under integrity constraints. 1448-1489
Volume 80, Number 8, December 2014
- Yang Xiang
Editorial: Special Issue on Theory and Applications in Parallel and Distributed Computing Systems. 1491-1492 - Hua Wang
Building access control policy model for privacy preserving and testing policy conflicting problems. 1493-1503 - Ahmed Sallam, Kenli Li, Aijia Ouyang, Zhiyong Li:
Proactive workload management in dynamic virtualized environments. 1504-1517 - Lan Zhou, Vijay Varadharajan
Secure administration of cryptographic role-based access control for large-scale cloud storage systems. 1518-1533 - Zhide Chen, Cheng Qiao, Yihui Qiu, Li Xu, Wei Wu:
Dynamics stability in wireless sensor networks active defense model. 1534-1548 - Guiyi Wei, Rongxing Lu, Jun Shao:
EFADS: Efficient, flexible and anonymous data sharing protocol for cloud computing with proxy re-encryption. 1549-1562 - Chi Yang, Xuyun Zhang
A spatiotemporal compression based approach for efficient big data processing on Cloud. 1563-1583 - Younchan Jung
One-time packet key exchange scheme for secure real-time multimedia applications. 1584-1596 - Sébastien Gambs, Marc-Olivier Killijian, Miguel Núñez del Prado Cortez
De-anonymization attack on geolocated data. 1597-1614
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: