Steve Reeve: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 137 KB

english, 2013

52

The Benefits of Reasonable Conduct: The Leviathan Theory of Obligation

Steve Beackon and Andrew Reeve

Journal:

Political Theory

Year:

1976

Language:

english

File:

PDF, 1.36 MB

english, 1976

53

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 ||

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 7.36 MB

english, 2010

54

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 200 KB

english, 2010

55

Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012

Riccobene, Elvinia, Reeves, Steve

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 144 KB

english, 2014

56

Book reviews

Hebbert, Michael, Hanchett, Thomas W., Hamnett, Steve, Zonn, Leo, Airs, Malcolm, Thomas, Huw, Mandelbaum, Seymour J., Moehring, Eugene P., Reeve, Alan, Meller, Helen

Journal:

Planning Perspectives

Year:

1995

Language:

english

File:

PDF, 1.19 MB

english, 1995

57

Anti-Inflammatory Properties of a Dried Fermentate In Vitro and In Vivo

Jensen, Gitte S., Carter, Steve G., Reeves, Stuart G., Robinson, Larry E., Benson, Kathleen F.

Journal:

Journal of Medicinal Food

Year:

2015

Language:

english

File:

PDF, 388 KB

english, 2015

58

Single session assessment and therapy for new referrals to CMHTS

REEVES, STEVE DENNER & SARAH

Journal:

Journal of Mental Health

Year:

1997

Language:

english

File:

PDF, 116 KB

english, 1997

59

Antioxidant Bioavailability and Rapid Immune-Modulating Effects After Consumption of a Single Acute Dose of a High-Metabolite Yeast Immunogen: Results of a Placebo-Controlled Double-Blinded Crossover Pilot Study

Jensen, Gitte S., Redman, Kimberlee A., Benson, Kathleen F., Carter, Steve G., Mitzner, Marcie A., Reeves, Stuart, Robinson, Larry

Journal:

Journal of Medicinal Food

Year:

2011

Language:

english

File:

PDF, 425 KB

english, 2011

60

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Feature Refinement

Reeves, Steve, Streader, David

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

61

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Modeling the Supervisory Control Theory with Alloy

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 278 KB

english, 2012

62

[ACM Press the SIGCHI Conference - Paris, France (2013.04.27-2013.05.02)] Proceedings of the SIGCHI Conference on Human Factors in Computing Systems - CHI '13 - see me, feel me, touch me, hear me

Fosh, Lesley, Benford, Steve, Reeves, Stuart, Koleva, Boriana, Brundell, Patrick

Year:

2013

Language:

english

File:

PDF, 1016 KB

english, 2013

63

Computer support for students’ work in a formal system: MacCPICT

Journal:

International Journal of Mathematical Education

Year:

1995

Language:

english

File:

PDF, 1.01 MB

english, 1995

64

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Modular Synthesis of Discrete Controllers

Malik, Petra, Malik, Robi, Streader, David, Reeves, Steve

Year:

2007

Language:

english

File:

PDF, 178 KB

english, 2007

65

[IEEE 2009 Australian Software Engineering Conference - Gold Coast, Australia (2009.04.14-2009.04.17)] 2009 Australian Software Engineering Conference - Supporting Multi-path UI Development with Vertical Refinement

Bowen, Judy, Reeves, Steve

Year:

2009

Language:

english

File:

PDF, 402 KB

english, 2009

66

Book reviews

Broadbent, Graeme, Gale, Christopher, Berryman, Will, Rodney, Michael, James, Helen, Foster, Steve, Bettinson, Vanessa, Marson, James, Sellick, Joanne, East, Rob, Watson, Susan, Reeves, Tracey, Hart,

Journal:

The Law Teacher

Year:

2007

Language:

english

File:

PDF, 2.15 MB

english, 2007

67

CONFLICTS AND FAIR TESTING

MALIK, ROBI, STREADER, DAVID, REEVES, STEVE

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 1008 KB

english, 2006

68

Preface

Journal:

Innovations in Systems and Software Engineering

Year:

2015

Language:

english

File:

PDF, 76 KB

english, 2015

69

The Challenges of Using Biodata in Promotional Filmmaking

Reeves, Stuart, Martindale, Sarah, Tennent, Paul, Benford, Steve, Marshall, Joe, Walker, Brendan

Journal:

ACM Transactions on Computer-Human Interaction

Year:

2015

Language:

english

File:

PDF, 834 KB

english, 2015

70

Observations on the re-emergence of a binary system in UK universities for economics degree programmes

Talbot, Steve, Reeves, Alan, Johnston, James

Journal:

Year:

2014

Language:

english

File:

PDF, 143 KB

english, 2014

71

[ACM Press the 4th ACM SIGCHI symposium - Copenhagen, Denmark (2012.06.25-2012.06.26)] Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12 - Modelling user manuals of modal medical devices and learning from the experience

Bowen, Judy, Reeves, Steve

Year:

2012

Language:

english

File:

PDF, 618 KB

english, 2012

72

A trial of telecare for supporting care to the elderly in Liverpool

Reeves, Andrew A, Barnes, Nigel M, Mizutani, Tom, Brown, Steve J

Journal:

Journal of Telemedicine and Telecare

Year:

2007

Language:

english

File:

PDF, 106 KB

english, 2007

73

Reliable computation with unreliable computers

Mills, Rob, Brown, Andrew D., Reeve, Jeff S., Furber, Steve B., Dugan, Kier James

Journal:

IET Computers & Digital Techniques

Year:

2015

Language:

english

File:

PDF, 701 KB

english, 2015

74

Interconnection system for the SpiNNaker biologically inspired multi-computer

Brown, Andrew, Reeve, Jeff, Dugan, Kier, Furber, Steve

Journal:

IET Computers & Digital Techniques

Year:

2013

Language:

english

File:

PDF, 492 KB

english, 2013

75

Editorial

BRODA, KRYSIA, D'AGOSTINO, MARCELLO, GORÉ, RAJEEV, JOHNSON, ROB, REEVES, STEVE

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 54 KB

english, 1995

76

[ACM Press the 2011 annual conference extended abstracts - Vancouver, BC, Canada (2011.05.07-2011.05.12)] Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems - CHI EA '11 - The gas mask

Marshall, Joe, Harter, Paul, Longhurst, Jo, Walker, Brendan, Benford, Steve, Tomlinson, George, Rennick Egglestone, Stefan, Reeves, Stuart, Brundell, Patrick, Tennent, Paul, Cranwell, Jo

Year:

2011

Language:

english

File:

PDF, 524 KB

english, 2011

77

[ACM Press the 6th ACM conference - University Park, PA, USA (2006.06.26-2006.06.28)] Proceedings of the 6th ACM conference on Designing Interactive systems - DIS '06 - The spatial character of sensor technology

Reeves, Stuart, Pridmore, Tony, Crabtree, Andy, Green, Jonathan, Benford, Steve, O'Malley, Claire

Year:

2006

Language:

english

File:

PDF, 602 KB

english, 2006

78

[ACM Press the 3rd ACM SIGCHI symposium - Pisa, Italy (2011.06.13-2011.06.16)] Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11 - UI-driven test-first development of interactive systems

Bowen, Judy, Reeves, Steve

Year:

2011

Language:

english

File:

PDF, 808 KB

english, 2011

79

[ACM Press the 5th ACM SIGCHI symposium - London, United Kingdom (2013.06.24-2013.06.27)] Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '13 - Formal methods for interactive system

Bowen, Judy, Reeves, Steve

Year:

2013

Language:

english

File:

PDF, 381 KB

english, 2013

80

[ACM Press the 33rd Annual ACM Conference - Seoul, Republic of Korea (2015.04.18-2015.04.23)] Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems - CHI '15 - Building a Birds Eye View

Fischer, Joel E., Reeves, Stuart, Rodden, Tom, Reece, Steve, Ramchurn, Sarvapali D., Jones, David

Year:

2015

Language:

english

File:

PDF, 3.37 MB

english, 2015

81

[ACM Press the 5th Annual Workshop - Oak Ridge, Tennessee (2009.04.13-2009.04.15)] Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research Cyber Security and Information Intelligence Challenges and Strategies - CSIIRW '09 - User identification via process profiling

McKinney, Steve, Reeves, Douglas S.

Year:

2009

Language:

english

File:

PDF, 631 KB

english, 2009

82

[ACM Press the 2nd ACM SIGCHI symposium - Berlin, Germany (2010.06.19-2010.06.23)] Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '10 - Developing usability studies via formal models of UIs

Bowen, Judy, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 571 KB

english, 2010

83

[ACM Press the 5th ACM SIGCHI symposium - London, United Kingdom (2013.06.24-2013.06.27)] Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '13 - Modelling safety properties of interactive medical systems

Bowen, Judy, Reeves, Steve

Year:

2013

Language:

english

File:

PDF, 692 KB

english, 2013

84

[ACM Press the 17th ACM conference - Baltimore, Maryland, USA (2014.02.15-2014.02.19)] Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing - CSCW '14 - Supporting group interactions in museum visiting

Tolmie, Peter, Benford, Steve, Greenhalgh, Chris, Rodden, Tom, Reeves, Stuart

Year:

2014

Language:

english

File:

PDF, 1.58 MB

english, 2014

85

[ACM Press the 32nd annual ACM conference - Toronto, Ontario, Canada (2014.04.26-2014.05.01)] Proceedings of the 32nd annual ACM conference on Human factors in computing systems - CHI '14 - Gifting personal interpretations in galleries

Fosh, Lesley, Benford, Steve, Reeves, Stuart, Koleva, Boriana

Year:

2014

Language:

english

File:

PDF, 981 KB

english, 2014

86

[ACM Press the ACM International Conference - Brussels, Belgium (2015.06.03-2015.06.05)] Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video - TVX '15 - Towards an Extended Festival Viewing Experience

Velt, Raphael, Benford, Steve, Reeves, Stuart, Evans, Michael, Glancy, Maxine, Stenton, Phil

Year:

2015

Language:

english

File:

PDF, 748 KB

english, 2015

87

[ACM Press the 33rd Annual ACM Conference - Seoul, Republic of Korea (2015.04.18-2015.04.23)] Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems - CHI '15 - I'd Hide You

Reeves, Stuart, Greiffenhagen, Christian, Flintham, Martin, Benford, Steve, Adams, Matt, Row Farr, Ju, Tandavantij, Nicholas

Year:

2015

Language:

english

File:

PDF, 1.90 MB

english, 2015

88

[ACM Press the 2012 ACM annual conference extended abstracts - Austin, Texas, USA (2012.05.05-2012.05.10)] Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12 - The machine in the ghost

Tennent, Paul, Reeves, Stuart, Benford, Steve, Walker, Brendan, Marshall, Joe, Brundell, Patrick, Meese, Rupert, Harter, Paul

Year:

2012

Language:

english

File:

PDF, 729 KB

english, 2012

89

A Review of Quality of Care Evaluation for the Palliation of Dyspnea

Mularski, Richard A., Campbell, Margaret L., Asch, Steven M., Reeve, Bryce B., Basch, Ethan, Maxwell, Terri L., Hoverman, J. Russell, Cuny, Joanne, Clauser, Steve B., Snyder, Claire, Seow, Hsien, Wu,

Journal:

American Journal of Respiratory and Critical Care Medicine

Year:

2010

Language:

english

File:

PDF, 78 KB

english, 2010

90

REGIONAL MODELING OF SAN ANTONIO RIVER BASIN IN TEXAS

Su, Yu-Chun, Altman, Duke, McArthur, Karl, Shirley, Brian, Lee, Ka-Leung, Gonzales, Mike, Graham, Steve, Reeves, Rebecca

Journal:

Proceedings of the Water Environment Federation

Year:

2004

Language:

english

File:

PDF, 1.51 MB

english, 2004

91

TMDLS AND WATER QUALITY REGULATIONS – BRINGING HABITAT INTO THE EQUATION

Reeves, Sarah, Paulson, Cynthia, Canton, Steve, Moore, Tim

Journal:

Proceedings of the Water Environment Federation

Year:

2002

Language:

english

File:

PDF, 135 KB

english, 2002

92

THE SELENIUM STAKEHOLDERS – A CASE STUDY FOR A TMDL ALTERNATIVE

Reeves, Sarah, Congram, Anthony, Linenfelser, Bret, Canton, Steve

Journal:

Proceedings of the Water Environment Federation

Year:

2002

Language:

english

File:

PDF, 1.53 MB

english, 2002

93

The within-match patterns of locomotor efficiency during Professional Soccer match play: Implications for Injury risk?

Barrett, Steve, Midgley, Adrian, Reeves, Matt, Joel, Tom, Franklin, Ed, Heyworth, Rob, Garrett, Andrew, Lovell, Ric

Journal:

Journal of Science and Medicine in Sport

Year:

2015

Language:

english

File:

PDF, 344 KB

english, 2015

94

Supplement 1: The Patient-Reported Outcomes Measurement Information System (PROMIS): Overview and Developmental Work, 2004–2006 || Psychometric Evaluation and Calibration of Health-Related Quality of Life Item Banks: Plans for the Patient-Reported Outcomes Measurement Information System (PROMIS)

Bryce B. Reeve, Ron D. Hays, Jakob B. Bjorner, Karon F. Cook, Paul K. Crane, Jeanne A. Teresi, David Thissen, Dennis A. Revicki, David J. Weiss, Ronald K. Hambleton, Honghu Liu, Richard Gershon, Steve

Journal:

Year:

2007

Language:

english

File:

PDF, 1.63 MB

english, 2007

95

Polymorphisms of the HDL Receptor Gene Associated with HDL Cholesterol Levels in Diabetic Kindred from Three Populations

McCarthy, Jeanette J., Lewitzky, Steve, Reeves, Cynthia, Permutt, Alan, Glaser, Benjamin, Groop, Leif C., Lehner, Thomas, Meyer, Joanne M.

Journal:

Year:

2003

Language:

english

File:

PDF, 74 KB

english, 2003

96

[IEEE 2015 11th European Dependable Computing Conference (EDCC) - Paris, France (2015.9.7-2015.9.11)] 2015 11th European Dependable Computing Conference (EDCC) - Composing Patterns to Construct Secure Systems

Rimba, Paul, Zhu, Liming, Bass, Len, Kuz, Ihor, Reeves, Steve

Year:

2015

Language:

english

File:

PDF, 272 KB

english, 2015

97

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Design Patterns for Models of Interactive Systems

Bowen, Judy, Reeves, Steve

Year:

2015

Language:

english

File:

PDF, 679 KB

english, 2015

98

SPIE Proceedings [SPIE Medical Imaging 1996 - Newport Beach, CA (Saturday 10 February 1996)] Medical Imaging 1996: Image Display - UWGSP8: a programmable ultrasound subsystem for native image processing

Basoglu, Chris, Reeve, Jeff, Kim, Yongmin, Marquis, Steve, Kim, Yongmin

Year:

1996

Language:

english

File:

PDF, 528 KB

english, 1996

99

THE SELENIUM STAKEHOLDERS – A CASE STUDY FOR A TMDL ALTERNATIVE

Congram, Anthony, Reeves, Sarah, Linenfelser, Bret, Canton, Steve

Journal:

Proceedings of the Water Environment Federation

Year:

2002

Language:

english

File:

PDF, 2.01 MB

english, 2002

100

SPIE Proceedings [SPIE Microelectronic Manufacturing - Austin, TX (Tuesday 18 October 1994)] Manufacturing Process Control for Microelectronic Devices and Circuits - Process control using new approaches in plasma diagnostics

Reeves, Steve, Fullwood, Clayton, Turner, Terry R., Sabnis, Anant G.

Year:

1994

Language:

english

File:

PDF, 804 KB

english, 1994