|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 148 occurrences of 133 keywords
|
|
|
Results
Found 322 publication records. Showing 322 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Lawrence C. Paulson |
Proving Properties of Security Protocols by Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA, pp. 70-83, 1997, IEEE Computer Society, 0-8186-7990-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Stephen W. Smoliar, James D. Baker |
Text Types in Hypermedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 68-77, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Giovanni Guida, Marina Zanella |
Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy, pp. 229-, 1997, IEEE Computer Society, 0-8186-8126-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Bernard Moulin |
The Social Dimension of Interactions in Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications ![In: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997, pp. 109-123, 1997, Springer, 3-540-64769-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Pamela Simmons |
Quality Outcomes: Determining Business Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(1), pp. 25-32, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Annie Kuntzmann-Combelles |
Is Software Process Re-Engineering and Improvement the "Silver Bullet" of the 1990s or a Constructive Approach to Meet Pre-Defigned Business Targets? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 435, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
software process re-engineering, constructive approach, business targets, process control business, CMM model, senior management, software metrics, software process improvement, software measurement, software development management, business data processing, systems re-engineering, software performance, Software Engineering Institute |
13 | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings, pp. 224-236, 1996, Springer, 3-540-61630-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
infinitary default logic, representability, extensions, default logic |
13 | Terry Shepard |
On Teaching Software Verification and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE ![In: Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings, pp. 375-385, 1995, Springer, 3-540-58951-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Sukhamay Kundu, Jianhua Chen 0003 |
Fuzzy Logic or Lukasiewicz Logic: A Clarification. ![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. 56-64, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Vincent Aleven, Kevin D. Ashley |
What Law Students Need to Know to WIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993, pp. 152-161, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Graham J. Williams, Steven G. Woods |
Representing Expectations in Spatial Information Systems - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings, pp. 465-476, 1993, Springer, 3-540-56869-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
13 | William R. Swartout, Cécile Paris, Johanna D. Moore |
Explanations in Knowledge Systems: Design for Explainable Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 6(3), pp. 58-64, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Watts S. Humphrey |
CASE planning and the software process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 1(3-4), pp. 321-337, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
process maturity model, economic justification, software teams, management, planning, software, process, case, improvement |
13 | M. S. Gandikota, N. Hari Narayanan, J. Maroldt |
An Integrated Framework for Intelligent Computer Aided Design of Chemical Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 800-808, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Stephen G. Pimentel, John L. Cuadrado |
The Event Calculus and Consistency Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 1162-1166, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Karl-Heinz Temme, Ingolf Markhof |
Applications of AI Techniques for Chip-Architecture Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 757-759, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Larry Brumbaugh |
An undergraduate course in applied data communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 20th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1989, Louisville, Kentucky, USA, February 23-24, 1989, pp. 1-5, 1989, ACM, 978-0-89791-298-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Paul Compton, Bob Jansen |
Knowledge in Context: A Strategy for Expert System Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings, pp. 292-306, 1988, Springer, 3-540-52062-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
context, knowledge representation, expert systems, maintenance, knowledge engineering |
13 | Kevin D. Ashley, Edwina L. Rissland |
But, See, Accord: Generating Blue Book Citations in HYPO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the First International Conference on Artificial Intelligence and Law, ICAIL '87, Boston, MA, USA, May 27-29, 1987, pp. 67-74, 1987, ACM, 0-89791-230-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Alan M. Thompson |
Logical Support in a Time-Varying Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, pp. 143-153, 1980, Springer, 3-540-10009-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
13 | Stanley Y. W. Su, Ahmed Emam |
CASDAL: CASSM'a DAta Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 3(1), pp. 57-91, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
database, query language, associative memory, relational model, nonprocedural language |
13 | Robert Cartwright, Derek C. Oppen |
Unrestricted Procedure Calls in Hoare's Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 131-140, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #322 of 322 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|