Jim Horning
Jim Horning

professional homepage
horningatacm.org

ACM Fellow badge
  Affiliation history
Bibliometrics: publication history
Average citations per article14.29
Citation Count886
Publication count62
Publication years1968-2010
Available for download29
Average downloads per article999.79
Downloads (cumulative)28,994
Downloads (12 Months)584
Downloads (6 Weeks)65
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


62 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 62
Result page: 1 2 3 4

Sort by:

1 published by ACM
April 2010 Communications of the ACM: Volume 53 Issue 4, April 2010
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 6,   Downloads (12 Months): 250,   Downloads (Overall): 12,428

Full text available: HtmlHtml  PDFPDF

2
November 2009 Protecting Persons While Protecting the People: Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008. Revised Selected Papers
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

Both "privacy" and "security" have a variety of meanings that are relevant to ISIPS. Inadvertently mixing these meanings can lead to confusion. We will communicate more effectively, and avoid needless misunderstandings, if we make it clear which meanings we intend in each context. This paper discusses several constellations of meanings ...
Keywords: network security, national security, definitions, Privacy, computer security, freedom of speech, homeland security, security

3 published by ACM
June 2008 Communications of the ACM - Organic user interfaces: Volume 51 Issue 6, June 2008
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 2,   Downloads (12 Months): 8,   Downloads (Overall): 460

Full text available: HtmlHtml  PDFPDF

4 published by ACM
April 2007 Communications of the ACM: Volume 50 Issue 4, April 2007
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 7,   Downloads (Overall): 930

Full text available: HtmlHtml  PDFPDF

5 published by ACM
December 2005 Communications of the ACM - The semantic e-business vision: Volume 48 Issue 12, December 2005
Publisher: ACM
Bibliometrics:
Citation Count: 44
Downloads (6 Weeks): 12,   Downloads (12 Months): 195,   Downloads (Overall): 6,769

Full text available: HtmlHtml  PDFPDF

6 published by ACM
September 2005 Communications of the ACM - Special issue: RFID: Volume 48 Issue 9, September 2005
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 3,   Downloads (Overall): 761

Full text available: HtmlHtml  PDFPDF

7 published by ACM
April 2004 Communications of the ACM - Human-computer etiquette: Volume 47 Issue 4, April 2004
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 2,   Downloads (Overall): 213

Full text available: HtmlHtml  PDFPDF

8 published by ACM
March 2002 Communications of the ACM - Robots: intelligence, versatility, adaptivity: Volume 45 Issue 3, March 2002
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 11,   Downloads (Overall): 762

Full text available: HtmlHtml  PDFPDF

9 published by ACM
July 2001 ACM SIGSOFT Software Engineering Notes: Volume 26 Issue 4, July 2001
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 8,   Downloads (12 Months): 35,   Downloads (Overall): 431

Full text available: PDFPDF

10 published by ACM
July 2001 Communications of the ACM: Volume 44 Issue 7, July 2001
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 1,   Downloads (Overall): 906

Full text available: HtmlHtml  PDFPDF

11
September 1995 Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1


12 published by ACM
December 1994 SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Publisher: ACM
Bibliometrics:
Citation Count: 81
Downloads (6 Weeks): 1,   Downloads (12 Months): 12,   Downloads (Overall): 546

Full text available: PDFPDF
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, LCLint reports inconsistencies between a program and its specification. We also describe our experience using LCLint to help understand, document, and re-engineer legacy ...
Keywords: static checking, C, Larch, lint, specifications, LCLint
Also published in:
December 1994  ACM SIGSOFT Software Engineering Notes: Volume 19 Issue 5, Dec. 1994

13
December 1993 Formal Methods in System Design - Special issue on designing correct circuits: Volume 3 Issue 3, Dec. 1993
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 5

Keywords: pipeline, algorithmic transformation, retiming, circuit design, machine-checked verification

14

15
January 1993 Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 7


16
July 1992 Proceedings of the first First International Workshop on Larch
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0


17
January 1992 Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits
Publisher: North-Holland Publishing Co.
Bibliometrics:
Citation Count: 4


18
October 1991 VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1


19
September 1990 IEEE Transactions on Software Engineering: Volume 16 Issue 9, September 1990
Publisher: IEEE Press
Bibliometrics:
Citation Count: 14

The checkability designed into the LSL (Larch shared language) is described, and two tools that help perform the checking are discussed. LP (the Larch power) is the principal debugging tool. Its design and development have been motivated primarily by work on LSL, but it also has other uses (e.g. reasoning ...
Keywords: concurrent algorithms, consistency, parallel programming, Larch power, Larch shared language specifications, formal specification, inference mechanisms, program debugging., static semantics, checkability, debugging, design, development, theory containment

20
July 1990 Beauty is our business: a birthday salute to Edsger W. Dijkstra
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0




The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us