|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 424 occurrences of 378 keywords
|
|
|
Results
Found 472 publication records. Showing 472 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Deborah Wilson, Daniel Dayton, R. Todd Hansell |
ASDEN: a comprehensive design framework vision for automotive electronic control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Eighth International Workshop on Hardware/Software Codesign, CODES 2000, San Diego, California, USA, 2000, pp. 152-156, 2000, ACM, 1-58113-268-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | David Petrou, Khalil Amiri, Gregory R. Ganger, Garth A. Gibson |
Easing the management of data-parallel systems via adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, pp. 103-108, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Júlia Sawaki Tanaka, Edson Tadeu Monteiro Manoel, Luciano da Fontoura Costa |
Curvature and Orientation Estimation by Neuronal Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 44-51, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
partial differential operators, neuronal morphometry, simulation, neural networks, computer vision, computer vision, neurons, orientation estimation, curvature estimation |
10 | Chris G. Christou, Heinrich H. Bülthoff |
Using Realistic Virtual Environments in the Study of Spatial Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications, pp. 317-332, 2000, Springer, 3-540-67584-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | John A. C. Woodley |
Reliability at Any Cost - Risk Management through Contract Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Daphne Economou, William L. Mitchell, Steve Pettifer, Adrian J. West |
CVE Technology Development Based on Real World Application and User Needs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 4-16 June 2000, Gaithersburg, MD, USA, pp. 12-20, 2000, IEEE Computer Society, 0-7695-0798-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
education, human factors, collaborative virtual environments, virtual actors |
10 | Martín Abadi |
Taming the Adversary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2000, 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000, Proceedings, pp. 353-358, 2000, Springer, 3-540-67907-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jana Kosecka |
Hierarchies of Sensing and Control in Visually Guided Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings, pp. 227-244, 2000, Springer, 3-540-41348-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman |
Comprehensive Specification of Distributed Systems Using I5 and IOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 74-82, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management |
10 | Marian H. Nodine, Damith Chandrasekara, Amy Unruh |
Task Coordination Paradigms for Information Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings, pp. 167-181, 2000, Springer, 3-540-42422-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Amir Pnueli, Ofer Strichman, Michael Siegel |
Translation Validation: From SIGNAL to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct System Design ![In: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pp. 231-255, 1999, Springer, 3-540-66624-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Russell G. Almond |
Undoing Statistical Advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings, pp. 357-368, 1999, Springer, 3-540-66332-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov |
Design and Implementation of the Fiduccia-Mattheyses Heuristic for VLSI Netlist Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALENEX ![In: Algorithm Engineering and Experimentation, International Workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999, Selected Papers, pp. 177-193, 1999, Springer, 3-540-66227-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Leo Hartman, Louis Hoebel |
Is AI planning now? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Bull. ![In: SIGART Bull. 9(2), pp. 37-39, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Richard C. Linger, Nancy R. Mead, Howard F. Lipson |
Requirements Definition for Survivable Network Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: 3rd International Conference on Requirements Engineering (ICRE '98), Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado Springs, CO, USA, Proceedings, pp. 14-23, 1998, IEEE Computer Society, 0-8186-8356-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |
SCR*: A Toolset for Specifying and Analyzing Software Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 526-531, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Henrik Legind Larsen, Troels Andreasen, Henning Christiansen 0001 |
Knowledge Discovery for Flexible Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings, pp. 227-235, 1998, Springer, 3-540-65082-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Richard H. Waterman |
Operations systems (OS) unbundling: it's all about interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 775-784, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Amir Pnueli, Ofer Strichman, Michael Siegel |
Translation Validation for Synchronous Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 235-246, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Julie Jones, Robin Taber |
Lessons Learned in Developing Simulation-Based Expert Systems for Troubleshoting Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998, Proceedings, pp. 609, 1998, Springer, 3-540-64770-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Subhasish Mazumdar, Gary Yuan, Weifeng Bao, Jonathan Price |
Adding Semantics to SGML Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EP ![In: Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings, pp. 563-574, 1998, Springer, 3-540-64298-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Wei-Min Shen, Jafar Adibi, Rogelio Adobbati, Srini Lanksham, Hadi Moradi, Behnam Salemi, Sheila Tejada |
Integrated Reactive Soccer Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup-98: Robot Soccer World Cup II, pp. 286-298, 1998, Springer, 3-540-66320-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Joel C. Adams |
Chance-It: an object-oriented capstone project for CS-1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pp. 10-14, 1998, ACM, 0-89791-994-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Constance L. Heitmeyer |
On the Need for Practical Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 18-26, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Thorsten von Eicken |
Integration of U-Net into Windows/NT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCRCW ![In: Parallel Computer Routing and Communication, Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings, pp. 185-188, 1997, Springer, 3-540-64571-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Sandro Morasca, Lionel C. Briand |
Towards A Theoretical Framework For Measuring Software Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 4th IEEE International Software Metrics Symposium (METRICS 1997), November 5-7, 1997, Albuquerque, NM, USA, pp. 119-126, 1997, IEEE Computer Society, 0-8186-8093-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software attribute measurement, software product properties, construct validity, unambiguous definition, hierarchical axiomatic framework, measurement scales, software engineering, software metrics, theoretical foundations, theoretical framework, axiomatic approaches, consistent measures |
10 | Myla Archer, Constance L. Heitmeyer |
Human-Style Theorem Proving Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, pp. 33-48, 1997, Springer, 3-540-63379-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Paul A. Swatman |
OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 536-537, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
OPEN-MeNtOR, full-lifecycle object-oriented methodology, large-scale deployments, process-focussed methodology, object-oriented methods, object technology |
10 | George Turkiyyah, Steven J. Fenves |
Knowledge-Based Assistance for Finite-Element Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 11(3), pp. 23-32, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Jonas Skeppstedt, Per Stenström |
Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 659-682, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
performance evaluation, cache coherence, dataflow analysis |
10 | Stephen N. Freund, Eric S. Roberts |
Thetis: an ANSI C programming environment designed for introductory use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1996, Philadelphia, Pennsylvania, USA, February 15-17, 1996, pp. 300-304, 1996, ACM, 0-89791-757-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Janet Aisbett |
On the relevance of an algorithm to a problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANZIIS ![In: Proceedings of the Australian New Zealand Conference on Intelligent Information Systems, ANZIIS 96, Adelaide, South Australia, 18-20 November 1996, pp. 39-42, 1996, IEEE, 0-7803-3667-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Tetsuya Hara, Hideki Ando, Chikako Nakanishi, Masao Nakaya |
Performance Comparison of ILP Machines with Cycle Time Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 23rd Annual International Symposium on Computer Architecture, Philadelphia, PA, USA, May 22-24, 1996, pp. 213-224, 1996, ACM, 0-89791-786-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Armando Fox, Steven D. Gribble, Eric A. Brewer, Elan Amir |
Adapting to Network and Client Variability via On-Demand Dynamic Distillation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VII Proceedings - Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, USA, October 1-5, 1996., pp. 160-170, 1996, ACM Press, 0-89791-767-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Internet |
10 | Tomás Isakowitz, Shimon Schocken, Henry C. Lucas Jr. |
Toward a Logical/Physical Theory of Spreadsheet Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 13(1), pp. 1-37, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
model management |
10 | Cindy Cullen |
Internet vulnerabilities of one-time passcode mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 184-186, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
one-time passcode mechanisms, passive attack, one-time passcode server, hacker tools, authentication, security of data, vulnerabilities, hackers, user identification |
10 | Jong-Deok Choi, Ron Cytron, Jeanne Ferrante |
On the Efficient Engineering of Ambitious Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(2), pp. 105-114, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls |
10 | Jonathan M. Lever, Barry Richards |
parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 213-222, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck |
Combinations of Abstract Domains for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 227-239, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Lawrence Lau, Mike Rezny, John Belward, Kevin Burrage, Bert Pohl |
ADVISE - Agricultural Developmental Visualisation Interactive Software Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 184-195, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Barry S. Fagin |
Two years of "The Digital World": portable courseware for technological literacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 97-101, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Zoran Ivkovic, Errol L. Lloyd |
Fully Dynamic Algorithms for Bin Packing: Being (mostly) Myopic Helps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993, Proceedings, pp. 224-235, 1993, Springer, 3-540-57273-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Stephan Müller 0003, Kevin Kells, Wolfgang Fichtner |
Automatic rectangle-based adaptive mesh generation without obtuse angles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(7), pp. 855-863, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | J. Paul Harvey, Mohamed I. Elmasry, Bosco Leung |
STAIC: an interactive framework for synthesizing CMOS and BiCMOS analog circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(11), pp. 1402-1417, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Eduard H. Hovy |
A New Level of Language Generation Technology: Capabilities and Possibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 7(2), pp. 12-17, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | E. Jane Cameron, C. A. Norman, Lillian Ruston, Hassan N. Srinidhi |
Forming telecommunications software specifications from a service-driven model using enhanced software tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 2(4), pp. 389-404, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
service modeling, service specification, Service creation |
10 | Partho Pratim Mishra, Hemant Kanakia |
A Hop by Hop Rate-Based Congestion Control Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Conference on Communications Architecture & Protocols, SIGCOMM 1992, Baltimore, Maryland, USA, August 17-20, 1992, pp. 112-123, 1992, ACM, 0-89791-525-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Wendy G. Lehnert, Claire Cardie, David Fisher, Ellen Riloff, Robert Williams 0001 |
University of Massachusetts: description of the CIRCUS system as used for MUC-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 3rd Conference on Message Understanding, MUC 1991, San Diego, California, USA, May 21-23, 1991, pp. 223-233, 1991, ACL, 1-55860-236-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Mark S. Ma |
Simulation of an expert model-based adaptive controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 23rd Annual Simulation Symposium (ANSS-23 1990), Nashville, Tennessee, USA, 1990, pp. 81-87, 1990, IEEE Computer Society, 0-8186-2067-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | John Parkinson |
Making CASE Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, Second Nordic Conference CAiSE'90, Stockholm, Sweden, May 8-10, 1990, Proceedings, pp. 21-41, 1990, Springer, 3-540-52625-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Jürgen-Friedrich Hake, Willi Homberg |
The impact of memory organization on the performance of matrix multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, pp. 34-40, 1990, IEEE Computer Society, 0-89791-412-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
IBM 3090/VF, CRAY X-MP |
10 | Robbert van Renesse, Andrew S. Tanenbaum, Sape J. Mullender |
The Evolution of a Distributed Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Process in Distributed Operating Systems and Distributed Systems Management ![In: Process in Distributed Operating Systems and Distributed Systems Management, European Workshop, Berlin, Germany, April 18-19, 1889, pp. 1-12, 1989, Springer, 3-540-52609-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Robert G. Brookshire |
Models for the organization of academic computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 17th Annual ACM SIGUCCS Conference on User Services, Bethesda, Maryland, USA, 1989, pp. 89-92, 1989, ACM, 0-89791-330-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Ed Brinksma |
Constraint-Oriented Specification in a Constructive Formal Description Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 130-152, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction |
10 | Diana Patterson |
The myth and realities of C.A.S.E. for documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 7th Annual International Conference on Systems Documentation, SIGDOC 1989, Pittsburgh, Pennsylvania, USA, November 8-10, 1989, pp. 115-119, 1989, ACM, 0-89791-337-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Les L. Miller, Ali R. Hurson |
Supporting Amybe Algebra in the Associative Search Language Machine (ASLM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 16(2), pp. 61-80, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Michael L. Morgan, Michael L. Arington |
MEND (abstract only): a self-improving diagnostic with deep knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 379, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Charles A. Dyer |
Evolutionary changes in microcomputer services and support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 79-82, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Thelma Estrin |
The UCLA Brain Research Institute data processing laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Medical Informatics ![In: Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987, pp. 75-83, 1987, ACM, 0-89791-248-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Tariq Samad, Stephen W. Director |
Towards a natural language interface for CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 2-8, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Cecelia Jankowski |
Engineering workstation applications to systems design (panel session): life above the IC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 159-160, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Jeffrey Kurn, Scott L. McGregor |
Toward an electronic programmer's assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 2nd Annual International Conference on Systems Documentation, SIGDOC 1983, Seattle, Washington, USA, April 28-30, 1983, pp. 57-60, 1983, ACM, 0-89791-129-6. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
10 | Bezalel Gavish, Harvey S. Koch |
An Extensible Architecture for Data Flow Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Architecture for Non-Numeric Processing ![In: The Papers of the Fourth Workshop on Computer Architecture for Non-Numeric Processing, Blue Mountain Lake, NY, USA, August 1-4, 1978, pp. 71-76, 1978, ACM, 978-1-4503-7433-0. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
10 | D. M. Symes |
New Control Structures to Aid Gotolessness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975, pp. 194-203, 1975, ACM Press. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
10 | John Whiting, Sandy Newman |
Microprocessors in CRT terminals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA, pp. 41-45, 1975, AFIPS Press, 978-1-4503-7919-9. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
10 | Martin A. Goetz, L. A. Welke, Patrick McGovern, Burton Grad |
Current trends in the software products industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 965, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
10 | Eric L. Baatz, B. W. Jordan Jr., K. J. King, William J. Lennon, Z. Z. Stroll |
Design of a minicomputer network for the automatic determination of amino acid sequences in proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 749-752, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
10 | E. L. Lohse |
Standards: Heading format for data transmission (A USAAI) tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(6), pp. 441-448, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
data transmission heading format, heading format, message format, message headings, data transmission |
10 | Francis F. Lee |
Machine-to-man communication by speech part 1: generation of segmental phonemes from text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS Spring Joint Computing Conference ![In: American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1968 Spring Joint Computer Conference, Atlantic City, NJ, USA, 30 April - 2 May 1968, pp. 333-338, 1968, Thomson Book Company, Washington D.C., 978-1-4503-7897-0. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
10 | Jack B. Dennis, Earl C. Van Horn |
Programming semantics for multiprogrammed computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(3), pp. 143-155, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
10 | Jesse H. Katz |
Optimizing bit-time computer simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 6(11), pp. 679-685, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
10 | E. M. Boehm, Thomas B. Steel Jr. |
The Share 709 System: Machine Implementation of Symbolic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 6(2), pp. 134-140, 1959. The full citation details ...](Pics/full.jpeg) |
1959 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #472 of 472 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|