The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Journals in DBLP

ACM Comput. Surv.
1996, volume: 28, number: 4es

  1. Frank Manola
    Transforming the Database System into an Open Service Concept. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  2. Umeshwar Dayal
    Database Technology At A Crossroads. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  3. Jennifer Widom
    Integrating Heterogeneous Databases: Lazy or Eager? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  4. Raghu Ramakrishnan
    Some Promising Directions for Database Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  5. Henry F. Korth
    New Focal Points for Research in Database Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  6. Jeffrey D. Ullman
    Moving Database Theory into Database Practice. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  7. Richard T. Snodgrass
    The Inefficiency of Misalignment. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  8. Krithi Ramamritham
    Application-Oriented Database Support. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  9. José A. Blakeley
    Thoughts on Directions in Database Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  10. M. Tamer Özsu
    Future of Database Systems: Changing Applications and Technological Developments. [Citation Graph (0, 5)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  11. Hans-Jörg Schek
    Improving the Role of Future Database Systems. [Citation Graph (0, 1)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  12. David B. Lomet
    A Role for Research in the Database Industry. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  13. David Maier
    Repackaging Database Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  14. Sushil Jajodia
    Managing Security and Privacy of Information. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  15. Guy M. Lohman
    You Think Your DBMS is Complex Now? [Citation Graph (0, 2)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:0- [Journal]
  16. Ronald J. Brachman, Hector J. Levesque
    Undirected Behavior Without Unbounded Search. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:1- [Journal]
  17. Thomas Dean
    Integrating Theory and Practice in Planning. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:2- [Journal]
  18. Thomas G. Dietterich
    Machine Learning. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:3- [Journal]
  19. Jon Doyle
    Cleaving (Unto) Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:4- [Journal]
  20. C. Cordell Green
    Formality Helps Scalability and Robustness. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:5- [Journal]
  21. Barbara J. Grosz
    The Importance of Integration for AI. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:6- [Journal]
  22. Ian Horswill
    Integrated Systems and Naturalistic Tasks. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:7- [Journal]
  23. Daphne Koller
    Structured Representations and Intractability. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:8- [Journal]
  24. Fernando C. N. Pereira
    Language, Computation and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:9- [Journal]
  25. Bart Selman
    Computational Challenges in Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:10- [Journal]
  26. Yoav Shoham
    The Open Scientific Borders of AI, and the Case of Economics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:11- [Journal]
  27. Howard E. Shrobe
    Two Challenging Domains. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:12- [Journal]
  28. William R. Swartout
    Future Directions in Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:13- [Journal]
  29. Michael P. Wellman
    The Economic Approach to Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:14- [Journal]
  30. Shlomo Zilberstein
    Resource-Bounded Reasoning in Intelligent Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:15- [Journal]
  31. Pankaj K. Agarwal, Subhash Suri
    Simple and Practical Geometric Algorithms. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:16- [Journal]
  32. Nancy M. Amato
    Equipping CAD/CAM Systems with Geometric Intelligence. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:17- [Journal]
  33. Danny Z. Chen
    Developing Algorithms and Software for Geometric Path Planning Problems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:18- [Journal]
  34. Ioannis G. Tollis
    Graph Drawing and Information Visualization. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:19- [Journal]
  35. Jeffrey Scott Vitter
    Communication Issues in Large-Scale Geometric Computation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:20- [Journal]
  36. George Cybenko
    Large-Scope Computing: The Industrial Challenges. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:21- [Journal]
  37. Malvin Kalos
    Challenges in Computational Science. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:22- [Journal]
  38. Kenneth Neves
    Thoughts On CSE Candidates For Industrial Positions. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:23- [Journal]
  39. John R. Rice
    Computational Science as One Driving Force for All Aspects of Computing Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:24- [Journal]
  40. Francis Sullivan
    From Theory to Practice. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:25- [Journal]
  41. Thomas M. Conte
    Importance of Profiling and Compatibility. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:26- [Journal]
  42. Joel S. Emer
    Incremental Versus Revolutionary Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:27- [Journal]
  43. Matthew K. Farrens
    Distributed Decentralized Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:28- [Journal]
  44. Dirk Grunwald
    Embedded, General-Purpose, and High-Performance Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:29- [Journal]
  45. Kai Li
    Applications, Storage Hierarchy, and Integration. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:30- [Journal]
  46. Jack Mills
    An Industrial Perspective on Computer Architecture. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:31- [Journal]
  47. David Nagle
    Synergy Between Software and Hardware. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:32- [Journal]
  48. Yale N. Patt
    Microarchitecture, Compilers and Algorithms. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:33- [Journal]
  49. Jim Smith
    Multiscalar As a New Architecture Paradigm. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:34- [Journal]
  50. Wen-Hann Wang
    Microprocessor Architecture Challenges - The Best is Yet to Come! [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:35- [Journal]
  51. David A. Wood
    Problems, Challenges and the Importance of Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:36- [Journal]
  52. Robert Yung
    The Importance of Process Technology to Architecture. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:37- [Journal]
  53. Jos C. M. Baeten, Jan A. Bergstra
    Six Issues Concerning Future Directions in Concurrency Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:39- [Journal]
  54. Eike Best
    Some Major Dichotomies Relating to Future Research in Concurrency. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:40- [Journal]
  55. Rance Cleaveland
    Semantic Theories and System Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:41- [Journal]
  56. Roberto Gorrieri
    On the Power of Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:42- [Journal]
  57. Mohamed G. Gouda
    Network Protocols Between Exact Specifications and Pragmatic Implementations. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:43- [Journal]
  58. Jan Friso Groote
    Concurrency Theory Will Set Standards for Description and Analysis of Software. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:44- [Journal]
  59. C. A. R. Hoare
    Unifying Theories : A Personal Statement. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:46- [Journal]
  60. David R. Luginbuhl
    Issues in Concurrent Systems Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:47- [Journal]
  61. Dale Miller
    Logical Foundations for Open System Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:48- [Journal]
  62. Jayadev Misra
    A Discipline of Multiprogramming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:49- [Journal]
  63. Faron Moller
    Logics for Concurrency: Structure Versus Automata. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:50- [Journal]
  64. Ugo Montanari
    Causal Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:51- [Journal]
  65. Rocco De Nicola, Scott A. Smolka
    Concurrency: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:52- [Journal]
  66. Sanjiva Prasad
    Models for Mobile Computing Agents. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:53- [Journal]
  67. Vaughan R. Pratt
    Concurrency Concepts - An Ongoing Search. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:54- [Journal]
  68. Joseph Sifakis
    Research Directions for Concurrency. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:55- [Journal]
  69. Bernhard Steffen, Tiziana Margaria
    Method Engineering for Real-Life Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:56- [Journal]
  70. Bent Thomsen
    Programming Languages, Analysis Tools, and Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:57- [Journal]
  71. Pierre Wolper
    Where is the Algorithmic Support? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:58- [Journal]
  72. Philippe Codognet
    The Virtuality of Constraints and the Constraints of Virtuality. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:60- [Journal]
  73. Rina Dechter
    Bucket Elimination: A Unifying Framework for Processing Hard and Soft Constraints. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:61- [Journal]
  74. Mehmet Dincbas
    Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:62- [Journal]
  75. Eugene C. Freuder
    In Pursuit of the Holy Grail. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:63- [Journal]
  76. Manuel V. Hermenegildo
    Some cCallenges for Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:64- [Journal]
  77. Joxan Jaffar, Roland H. C. Yap
    Constraint Programming 2000. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:65- [Journal]
  78. Simon Kasif
    Towards a Constraint-Based Engineering Framework for Algorithm Design and Application. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:66- [Journal]
  79. Alan K. Mackworth
    Constraint-Based Design of Embedded Intelligent Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:67- [Journal]
  80. David A. McAllester
    The Rise of Nonlinear Mathematical Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:68- [Journal]
  81. Ken McAloon
    Constraint-Based Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:69- [Journal]
  82. Ugo Montanari, Francesca Rossi
    Constraint Solving and Programming: What's Next? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:70- [Journal]
  83. William J. Older
    CLP (intervals). [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:71- [Journal]
  84. Jean-Francois Puget
    Future of Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:72- [Journal]
  85. Raghu Ramakrishnan
    Constraints in Databases. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:73- [Journal]
  86. Vijay A. Saraswat
    Compositional Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:74- [Journal]
  87. Gert Smolka
    Constraints in OZ. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:75- [Journal]
  88. Pascal Van Hentenryck
    Constraint Programming for Combinatorial Search Problems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:76- [Journal]
  89. Owen L. Astrachan
    Education Goals and Priorities. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:92- [Journal]
  90. Kim B. Bruce
    Thoughts on Computer Science Education. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:93- [Journal]
  91. Robert D. Cupper
    A Revised Curriculum Framework. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:94- [Journal]
  92. Peter J. Denning
    Business Design of the University. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:95- [Journal]
  93. Robert L. Scot Drysdale
    What Should We Teach? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:96- [Journal]
  94. Charles Kelemen
    Public Understanding of CS and First Courses for Nonmajors. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:97- [Journal]
  95. Catherine C. McGeoch
    Research in the Curriculum, and the Web. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:98- [Journal]
  96. Yale N. Patt
    First Courses and Fundamentals. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:99- [Journal]
  97. Viera K. Proulx, Richard Rasala
    The Future of Computer Science Education. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:100- [Journal]
  98. Roy Rada
    Calling for a Virtual Computing College. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:101- [Journal]
  99. Eric Roberts
    Directions in Computer Science Education. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:102- [Journal]
  100. Lynn Andrea Stein
    Interactive Programming: Revolutionizing Introductory Computer Science. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:103- [Journal]
  101. Allen B. Tucker
    Crisis in Computer Science Education. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:104- [Journal]
  102. Nabil R. Adam, Shamim A. Naqvi
    Universal Access in Digital Libraries. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:105- [Journal]
  103. Baruch Awerbuch
    Maximizing Gross Network Product (GNP): Resource Management on the GII. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:106- [Journal]
  104. Alexander Brodsky
    Constraint Database Technology for Electronic Trade with Complex Objectives. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:107- [Journal]
  105. Robert L. Grossman
    Database Mining Challenges for Digital Libraries. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:108- [Journal]
  106. Jim Johnson
    The Physics of Politics in the Information Age. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:109- [Journal]
  107. Catherine D. McCollum, Arnon Rosenthal, Barbara T. Blaustein
    Flexible Security Policies for Digital Libraries. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:110- [Journal]
  108. Anna-Lena Neches
    The Future of Electronic Commerce: A Pragmatic View. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:111- [Journal]
  109. Jacob Slonim, Karen Bennet
    The Electronic Commerce Position Paper. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:112- [Journal]
  110. Ouri Wolfson
    Infrastructure and Cost Models for Digital Libraries. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:113- [Journal]
  111. Howard D. Wactlar
    The Next Generation Electronic Library - Capturing the Experience. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:114- [Journal]
  112. Rajeev Alur
    Next Steps in Formal Verification. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:115- [Journal]
  113. Edmund M. Clarke, Jeannette M. Wing
    Tools and Partial Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:116- [Journal]
  114. Rance Cleaveland
    Formality and Software Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:117- [Journal]
  115. Steven M. German
    Research Goals for Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:118- [Journal]
  116. Thomas A. Henzinger
    Some Myths About Formal Verification. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:119- [Journal]
  117. Gerard J. Holzmann
    On-The-Fly Model Checking. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:120- [Journal]
  118. Cliff B. Jones
    Formal Methods Light. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:121- [Journal]
  119. Doron Peled
    User Interfaces for Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:122- [Journal]
  120. John M. Rushby
    Enhancing the Utility of Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:123- [Journal]
  121. Joseph Sifakis
    Research Directions for Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:124- [Journal]
  122. A. Prasad Sistla
    Hybrid and Incremental Modelchecking Techniques. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:125- [Journal]
  123. Bernhard Steffen, Tiziana Margaria
    Tools Get Formal Methods into Practice. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:126- [Journal]
  124. Pierre Wolper
    The Meaning of "Formal". [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:127- [Journal]
  125. Jim Woodcock
    Software Engineering Research Directions. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:128- [Journal]
  126. Steve Bryson
    Implications of Near-Real-Time Three-Dimensional Interfaces. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:129- [Journal]
  127. Dick C. A. Bulterman
    Making the Technology Serve the User. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:130- [Journal]
  128. Tiziana Catarci
    Databases and the Web: New Requirements for Easy Access. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:131- [Journal]
  129. Wayne Citrin
    Strategic Directions in Visual Languages Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:132- [Journal]
  130. Isabel F. Cruz
    Tailorable Information Visualization. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:133- [Journal]
  131. Ephraim P. Glinert, R. Lindsay Todd, G. Bowden Wise
    The Adaptive Multi-interface Multi-modal Environment. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:134- [Journal]
  132. Jonathan Grudin
    The End of Exile. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:135- [Journal]
  133. James D. Hollan
    Strategic Issues for Human-Computer Interaction. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:136- [Journal]
  134. Yannis E. Ioannidis
    Visual User Interfaces for Database Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:137- [Journal]
  135. Robert J. K. Jacob
    The Future of Input Devices. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:138- [Journal]
  136. Bonnie E. John
    Evaluating Usability Evaluation Techniques. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:139- [Journal]
  137. David Kurlander
    Thoughts on User Interface Research Processes and Agendas. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:140- [Journal]
  138. Brad A. Myers
    Programmability and Heuristics in the User Interfaces. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:141- [Journal]
  139. Dan R. Olsen
    Computational Resources and the Internet. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:142- [Journal]
  140. Stuart M. Shieber
    A Call for Collaborative Interfaces. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:143- [Journal]
  141. Ben Shneiderman
    Advanced Graphic User Interfaces: Elastic and Tightly Coupled Windows. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:144- [Journal]
  142. John T. Stasko
    Future Research Directions in Human-Computer Interaction. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:145- [Journal]
  143. Gary W. Strong
    Human-Centered Information Systems (HCIS). [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:146- [Journal]
  144. Kent Wittenburg
    The WWW Information Glut: Implications for Next-Generation HCI Technologies. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:147- [Journal]
  145. Mehmet Aksit
    Separation and Composition of Concerns in the Object-Oriented Model. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:148- [Journal]
  146. Andrew P. Black
    Object-Oriented Languages: The Next Generation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:149- [Journal]
  147. Luca Cardelli
    Bad Engineering Properties of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:150- [Journal]
  148. Pierre Cointe
    Reflective Languages and MetaLevel Architectures. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:151- [Journal]
  149. James Coplien
    Broadening beyond Objects to Patterns and to Other Paradigms. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:152- [Journal]
  150. Rachid Guerraoui
    Distributed Programming Abstractions. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:153- [Journal]
  151. Gregor Kiczales
    Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:154- [Journal]
  152. Doug Lea
    Specification, Architecture, and Interoperability. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:155- [Journal]
  153. Karl J. Lieberherr
    From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:156- [Journal]
  154. Ole Lehrmann Madsen
    Strategic Research Directions in Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:157- [Journal]
  155. Boris Magnusson
    Technology Integration. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:158- [Journal]
  156. José Meseguer
    Why OOP Needs New Semantic Foundations. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:159- [Journal]
  157. Hanspeter Mössenböck
    Trends in Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:160- [Journal]
  158. Jens Palsberg
    Compiler Technology for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:161- [Journal]
  159. Douglas C. Schmidt
    Using Design Patterns to Guide the Development of Reusable Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:162- [Journal]
  160. Luca Cardelli
    Global Computation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:163- [Journal]
  161. Charles Consel
    Program Adaptation Based on Program Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:164- [Journal]
  162. Patrick Cousot
    Program Analysis: The Abstract Interpretation Perspective. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:165- [Journal]
  163. Michael Hanus
    Integration of Declarative Paradigms: Benefits and Challenges. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:166- [Journal]
  164. Daniel Le Métayer
    Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:167- [Journal]
  165. Flemming Nielson
    Perspectives on Program Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:168- [Journal]
  166. Martin Odersky
    Challenges in Type Systems Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:169- [Journal]
  167. Robert Paige
    Future Directions in Program Transformations. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:170- [Journal]
  168. Alberto Pettorossi, Maurizio Proietti
    Future Directions in Program Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:171- [Journal]
  169. John C. Reynolds
    Beyond ML. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:172- [Journal]
  170. Jon G. Riecke
    Semantics: The Description of Computational Structures. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:173- [Journal]
  171. Barbara G. Ryder
    The Future of Program Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:174- [Journal]
  172. David A. Schmidt
    On the Need for a Popular Formal Semantics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:175- [Journal]
  173. Dennis M. Volpano
    Provably Secure Programming Languages for Remote Evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:176- [Journal]
  174. Reinhard Wilhelm
    Program Analysis - A Toolmaker's Perspective. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:177- [Journal]
  175. Alan Burns
    Broadening Real-Time Systems Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:178- [Journal]
  176. Kevin Jeffay
    Technical and Educational Challenges For Real-Time Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:179- [Journal]
  177. Michael B. Jones
    Consumer Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:180- [Journal]
  178. Gary Koob
    Large Scale Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:181- [Journal]
  179. Insup Lee
    Formal Verification, Testing and Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:182- [Journal]
  180. John P. Lehoczky
    Analytical Methods For Real-Time Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:183- [Journal]
  181. Jane W.-S. Liu
    Validation of Timing Properties. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:184- [Journal]
  182. Aloysius K. Mok
    Firm Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:185- [Journal]
  183. Krithi Ramamritham
    Predictability: Demonstrating Real-Time Properties. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:186- [Journal]
  184. Lui Sha
    Real-Time In the Real World. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:187- [Journal]
  185. John A. Stankovic
    The Pervasiveness of Real-Time Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:188- [Journal]
  186. André M. Van Tilborg
    Real-Time Sesearch in the Department of Defense. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:189- [Journal]
  187. Gregory D. Abowd
    Software Engineering and Programming Language Considerations for Ubiquitous Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:190- [Journal]
  188. Craig Chambers
    Towards Reusable, Extensible Components. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:192- [Journal]
  189. Lori A. Clarke, Peri L. Tarr
    New Functionality for Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:193- [Journal]
  190. William G. Griswold, Richard Wolski, Scott B. Baden, Stephen J. Fink, Scott R. Kohn
    Programming Language Requirements for the Next Millennium. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:194- [Journal]
  191. Robert Harper, Peter Lee
    Research in Programming Languages for Composability, Safety, and Performance. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:195- [Journal]
  192. Paul Hudak
    Building Domain-Specific Embedded Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:196- [Journal]
  193. Samuel N. Kamin
    The Challenge of Language Technology Transfer. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:197- [Journal]
  194. Melody M. Moore
    Representation Issues for Reengineering Interactive Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:199- [Journal]
  195. Jens Palsberg
    Software Evolution and Integration. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:200- [Journal]
  196. William L. Scherlis
    Beyond Coding. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:201- [Journal]
  197. Jack C. Wileden
    Programming Languages and Software Engineering: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:202- [Journal]
  198. Lori A. Clarke
    How Do We Improve Software Quality and How Do We Show that it Matters? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:203- [Journal]
  199. Richard A. DeMillo
    Mission-Critical Applications, Commercial Value and Software Quality. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:204- [Journal]
  200. William M. McKeeman
    Separating Concerns in Software Quality. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:205- [Journal]
  201. Edward D. Miller
    Getting Quality Methods Into Practice. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:206- [Journal]
  202. Alok N. Choudhary, David Kotz
    Large-Scale File Systems with the Flexibility of Databases. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:207- [Journal]
  203. Thomas H. Cormen, Michael T. Goodrich
    A Bridging Model for Parallel Computation, Communication, and I/O. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:208- [Journal]
  204. Garth A. Gibson, John Wilkes
    Self-Managing Network-Attached Storage. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:209- [Journal]
  205. Richard R. Muntz, Joseph Pasquale
    System-Level Design Issues for Storage I/O. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:210- [Journal]
  206. Mahadev Satyanarayanan, Carla Schlatter Ellis
    Adaptation: The Key to Mobile I/O. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:211- [Journal]
  207. Darren Erik Vengroff, Jeffrey Scott Vitter
    I/O-Efficient Algorithms and Environments. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:212- [Journal]
  208. Paul E. Green
    The Impact of the Web on Networking Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:213- [Journal]
  209. James F. Kurose
    Future Directions in Networking Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:214- [Journal]
  210. Joseph Pasquale
    Towards Internet Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:215- [Journal]
  211. Dana Angluin
    A 1996 Snapshot of Computational Learning Theory. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:216- [Journal]
  212. Faith E. Fich
    Infrastructure Issues Related to Theory of Computing Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:217- [Journal]
  213. Oded Goldreich, Avi Wigderson
    Theory of Computing: A Scientific Perspective. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:218- [Journal]
  214. Robert Harper, John C. Mitchell
    ML and Beyond. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:219- [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002