Journal: J. Comput. Syst. Sci.

Volume 73, Issue 8

1119 -- 1120Hamid Sarbazi-Azad, Lewis M. Mackenzie. Network-based computing
1121 -- 1130Nasser Alzeidi, Ahmad Khonsari, Mohamed Ould-Khaoua, Lewis M. Mackenzie. A new approach to model virtual channels in interconnection networks
1131 -- 1144Farshad Safaei, Ahmad Khonsari, Mahmood Fathy, Mohamed Ould-Khaoua. Communication delay analysis of fault-tolerant pipelined circuit switching in torus
1145 -- 1163Yu Jiao, Ali R. Hurson. Energy-efficient wireless information retrieval
1164 -- 1175Rafael Moreno-Vozmediano, Krishna Nadiminti, Srikumar Venugopal, Ana B. Alonso-Conde, Hussein Gibbins, Rajkumar Buyya. Portfolio and investment risk analysis on global grids
1176 -- 1190Riky Subrata, Albert Y. Zomaya, Björn Landfeldt. Artificial life techniques for load balancing in computational grids
1191 -- 1206Kai Lu, Riky Subrata, Albert Y. Zomaya. On the performance-driven load distribution for heterogeneous computational grids
1207 -- 1220Xiaolong Jin, Geyong Min. Performance analysis of priority scheduling mechanisms under heterogeneous network traffic
1221 -- 1231Maziar Goudarzi, Naser MohammadZadeh, Shaahin Hessabi. Using on-chip networks to implement polymorphism in the co-design of object-oriented embedded systems
1232 -- 1239Wenjun Xiao, Behrooz Parhami. Structural properties of Cayley digraphs with applications to mesh and pruned torus interconnection networks
1240 -- 1251Azzedine Boukerche, Raed Al-Shaikh, Mirela Sechi Moretti Annoni Notare. Towards highly available and scalable high performance clusters

Volume 73, Issue 7

1023 -- 0Richard M. Karp, Ming Li, Pavel A. Pevzner, Ron Shamir. Special issue on computational molecular biology
1024 -- 1034Bin Ma, Ming Li. On the complexity of the spaced seeds
1035 -- 1044Martin Farach-Colton, Gad M. Landau, Süleyman Cenk Sahinalp, Dekel Tsur. Optimal spaced seeds for faster approximate string matching
1045 -- 1059Yun Cui, Lusheng Wang, Daming Zhu. A 1.75-approximation algorithm for unsigned translocation distance
1060 -- 1077Brona Brejová, Daniel G. Brown, Tomás Vinar. The most probable annotation problem in HMMs and its application to bioinformatics
1078 -- 1089Shlomo Moran, Sagi Snir. Efficient approximation of convex recolorings
1090 -- 1094Frank K. Hwang, F. H. Chang. The identification of positive clones in a general inhibitor model
1095 -- 1117Gad M. Landau, Eugene W. Myers, Michal Ziv-Ukelson. Two algorithms for LCS Consecutive Suffix Alignment

Volume 73, Issue 6

845 -- 874Gabriel M. Kuper, Jianwen Su. A representation independent language for planar spatial databases with Euclidean distance
875 -- 891Stefano Leonardi, Danny Raz. Approximating total flow time on parallel machines
892 -- 907Jianer Chen, Iyad A. Kanj, Ljubomir Perkovic, Eric Sedgwick, Ge Xia. Genus characterizes the complexity of certain graph problems: Some tight results
908 -- 923Gregor Gramlich, Georg Schnitger. Minimizing nfa s and regular expressions
924 -- 940José L. Balcázar, Jorge Castro, David Guijarro, Johannes Köbler, Wolfgang Lindner. A general dimension for query learning
941 -- 961Parke Godfrey, Jarek Gryz. View disassembly: A rewrite that extracts portions of views
962 -- 972Denis Xavier Charles. Counting lattice vectors
973 -- 985Harry Buhrman, Hartmut Klauck, Nikolai K. Vereshchagin, Paul M. B. Vitányi. Individual communication complexity
986 -- 996Telikepalli Kavitha. Linear time algorithms for Abelian group isomorphism and related problems
997 -- 1011Bin Ma, Lusheng Wang, Ming Li. Near optimal multiple alignment within a band in polynomial time
1012 -- 1022Radim Belohlávek, Jiri Dvorak, Jan Outrata. Fast factorization by similarity in formal concept analysis of data with fuzzy attributes

Volume 73, Issue 5

691 -- 702Peter Jonsson, Andrei A. Krokhin. Maximum H-colourable subdigraphs and constraint optimization with arbitrary weights
703 -- 724Foto N. Afrati, Chen Li, Jeffrey D. Ullman. Using views to generate efficient evaluation plans for queries
725 -- 734Martin Anthony. On the generalization error of fixed combinations of classifiers
735 -- 754Christian Glaßer, Mitsunori Ogihara, Aduri Pavan, Alan L. Selman, Liyu Zhang. Autoreducibility, mitoticity, and immunity
755 -- 768MohammadTaghi Hajiaghayi, Naomi Nishimura. Subgraph isomorphism, log-bounded fragmentation, and graphs of (locally) bounded treewidth
769 -- 787Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte. Undecidability of the structure of the Solovay degrees of c.e. reals
788 -- 817Yasunori Ishihara, Toshiyuki Morita, Hiroyuki Seki, Minoru Ito. An equational logic based approach to the security problem against inference attacks on object-oriented databases
818 -- 843Joan Boyar, Lene M. Favrholdt, Kim S. Larsen. The relative worst-order ratio applied to paging

Volume 73, Issue 4

537 -- 0Dan Suciu. Special issue on database theory
538 -- 549Dirk Leinders, Jan Van den Bussche. On the complexity of division and set joins in the relational algebra
550 -- 583Wim Martens, Joachim Niehren. On the minimization of XML Schemas and tree automata for unranked trees
584 -- 609Wolfgang Faber, Gianluigi Greco, Nicola Leone. Magic Sets and their application to data integration
610 -- 635Ariel Fuxman, Renée J. Miller. First-order query rewriting for inconsistent databases
636 -- 647Solmaz Kolahi. Dependency-preserving normalization of relational and XML data
648 -- 668Sara Cohen, Yehoshua Sagiv. An incremental algorithm for computing ranked full disjunctions
669 -- 689J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt. Exploiting schemas in data synchronization

Volume 73, Issue 3

243 -- 244Michael Benedikt. Database Theory 2004
245 -- 264Mayank Bawa, Aristides Gionis, Hector Garcia-Molina, Rajeev Motwani. The price of validity in dynamic networks
265 -- 288Edith Cohen, Haim Kaplan. Spatially-decaying aggregation over a network
289 -- 315Thomas Schwentick. Automata for XML - A survey
316 -- 361Susan B. Davidson, Wenfei Fan, Carmem S. Hara. Propagating XML constraints to relations
362 -- 390Wim Martens, Frank Neven. Frontiers of tractability for typechecking simple XML transformations
391 -- 441Ziv Bar-Yossef, Marcus Fontoura, Vanja Josifovski. On the memory requirements of XPath evaluation over XML streams
442 -- 474Alin Deutsch, Liying Sui, Victor Vianu. Specification and verification of data-driven Web applications
475 -- 506Francesco Scarcello, Gianluigi Greco, Nicola Leone. Weighted hypertree decompositions and optimal query plans
507 -- 534Gerome Miklau, Dan Suciu. A formal analysis of information disclosure in data exchange

Volume 73, Issue 2

155 -- 0Christopher D. Gill, Oleg Sokolsky. Guest Editors Foreword
156 -- 170Rajeev Alur, Arun Chandrashekharapuram. Dispatch sequences for embedded control models
171 -- 185Krishnakumar Balasubramanian, Jaiganesh Balasubramanian, Jeff Parsons, Aniruddha S. Gokhale, Douglas C. Schmidt. A Platform-Independent Component Modeling Language for Distributed Real-time and Embedded Systems
186 -- 206Rodolfo Pellizzoni, Giuseppe Lipari. Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling
207 -- 224Ernesto Wandeler, Lothar Thiele. Workload correlations in multi-processor hard real-time systems
225 -- 241Björn Andersson, Cecilia Ekelin. Exact admission-control for integrated aperiodic and periodic tasks

Volume 73, Issue 1

1 -- 24Véronique Bruyère, Olivier Carton. Automata on linear orderings
25 -- 35Jin-yi Cai. S::2:::::p::: is subset of ZPP:::NP:::
36 -- 56Christian Glaßer. Languages polylog-time reducible to dot-depth 1/2
57 -- 72Rodney G. Downey, Catherine McCartin. Online promise problems with online width metrics
73 -- 83Edith Hemaspaandra, Lane A. Hemaspaandra. Dichotomy for voting systems
84 -- 88Lin Lin, Xue-hai Yuan, Zun-Quan Xia. Multicriteria fuzzy decision-making methods based on intuitionistic fuzzy sets
89 -- 108Sanjay Jain, Yen Kaow Ng, Tiong Seng Tay. Learning languages in a union
109 -- 122Valentina S. Harizanov, Frank Stephan. On the learnability of vector spaces
123 -- 136Sheng-Tzong Cheng, Ming-Hung Tao. Quantum cooperative search algorithm for 3-SAT
137 -- 152Petr Sosík, Alfonso Rodríguez-Patón. Membrane computing and complexity theory: A characterization of PSPACE