• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 10,383
Next 10 →

A comment on the confinement problem

by Steven B. Lipner - In Proceedings of the fifth ACM symposium on Operating systems principles, SOSP ’75 , 1975
"... The confinement problem, as identified by Lampson, is the problem of assuring that a borrowed program does not steal for its author information that it processes for a borrower. An approach to proving that an operating system enforces confinement, by preventing borrowed programs from writing informa ..."
Abstract - Cited by 50 (0 self) - Add to MetaCart
The confinement problem, as identified by Lampson, is the problem of assuring that a borrowed program does not steal for its author information that it processes for a borrower. An approach to proving that an operating system enforces confinement, by preventing borrowed programs from writing

A Note on the Confinement Problem

by Butler W. Lampson , 1973
"... This not explores the problem of confining a program during its execution so that it cannot transmit information to any other program except its caller. A set of examples attempts to stake out the boundaries of the problem. Necessary conditions for a solution are stated and informally justified. ..."
Abstract - Cited by 532 (0 self) - Add to MetaCart
This not explores the problem of confining a program during its execution so that it cannot transmit information to any other program except its caller. A set of examples attempts to stake out the boundaries of the problem. Necessary conditions for a solution are stated and informally justified.

Heuristic Evaluation of User Interfaces

by Jukob Nielsen, Rolf Molich - IN: PROCEEDINGS OF THE CHI´90 CONFERENCE, SEATTLE , 1990
"... Heuristic evaluation is an informal method of usability analysis where a number of evaluators are presented with an interface design and asked to comment on it. Four ex-periments showed that individual evaluators were mostly quite bad at doing such heuristic evaluations and that they only found betw ..."
Abstract - Cited by 517 (4 self) - Add to MetaCart
Heuristic evaluation is an informal method of usability analysis where a number of evaluators are presented with an interface design and asked to comment on it. Four ex-periments showed that individual evaluators were mostly quite bad at doing such heuristic evaluations and that they only found

A closed-form solution for options with stochastic volatility with applications to bond and currency options

by Steven L. Heston - Review of Financial Studies , 1993
"... I use a new technique to derive a closed-form solution for the price of a European call option on an asset with stochastic volatility. The model allows arbitrary correlation between volatility and spotasset returns. I introduce stochastic interest rates and show how to apply the model to bond option ..."
Abstract - Cited by 1512 (6 self) - Add to MetaCart
to other problems. Many plaudits have been aptly used to describe Black and Scholes ’ (1973) contribution to option pricing theory. Despite subsequent development of option theory, the original Black-Scholes formula for a European call option remains the most successful and widely used application

Certification of Programs for Secure Information Flow

by Dorothy E. Denning, Peter J. Denning , 1977
"... This paper presents a certification mechanism for verifying the secure flow of information through a program. Because it exploits the properties of a lattice structure among security classes, the procedure is sufficiently simple that it can easily be included in the analysis phase of most existing c ..."
Abstract - Cited by 490 (1 self) - Add to MetaCart
compilers. Appropriate semantics are presented and proved correct. An important application is the confinement problem: The mechanism can prove that a program cannot cause supposedly nonconfidential results to depend on confidential input data.

The Determinants of Credit Spread Changes.

by Pierre Collin-Dufresne , Robert S Goldstein , J Spencer Martin , Gurdip Bakshi , Greg Bauer , Dave Brown , Francesca Carrieri , Peter Christoffersen , Susan Christoffersen , Greg Duffee , Darrell Duffie , Vihang Errunza , Gifford Fong , Mike Gallmeyer , Laurent Gauthier , Rick Green , John Griffin , Jean Helwege , Kris Jacobs , Chris Jones , Andrew Karolyi , Dilip Madan , David Mauer , Erwan Morellec , Federico Nardari , N R Prabhala , Tony Sanders , Sergei Sarkissian , Bill Schwert , Ken Singleton , Chester Spatt , René Stulz - Journal of Finance , 2001
"... ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression are ..."
Abstract - Cited by 422 (2 self) - Add to MetaCart
approach the problem using a forward-looking measure. In particular, we employ changes in the slope of the "smirk" of implied volatilities of options on S&P 500 futures to determine perceived changes in the probability of such jumps. Options and futures prices were obtained from Bridge. Our

Toward a Conceptual Framework for Mixed-Method Evaluation Designs. Educational Evaluation and Policy Analysis

by Jennifer C. Greene, Valerie J. Caracelli, Wendy F. Graham , 1989
"... In recent years evaluators of educational and social programs have expanded their method-ological repertoire with designs that include the use of both qualitative and quantitative methods. Such practice, however, needs to be grounded in a theory that can meaningfully guide the design and implementat ..."
Abstract - Cited by 404 (3 self) - Add to MetaCart
-toire (Cook, 1985; Mathison, 1988). In re-cent years, this repertoire has been consid-erably expanded with the acceptance of qualitative methods as appropriate, legiti-mate, and even preferred for a wide range of evaluation settings and problems. Concom-itantly, evaluators have expressed renewed interest

The effects of cognitive and non-cognitive abilities on labor market outcomes and social behavior

by James J. Heckman, Jora Stixrud, Sergio Urzua, James J. Heckman, Jora Stixrud, Sergio Urzua - Journal of Labor Economics , 2006
"... William Johnson and James P. Ziliak and two anonymous referees for helpful comments. We also thank Jeff Grogger, Bruce Meyer and Derek Neal for very helpful comments that led to revisions and clarifications. Supplementary materials are on our website jenni.uchicago.edu/noncog. We thank Federico Teme ..."
Abstract - Cited by 370 (46 self) - Add to MetaCart
William Johnson and James P. Ziliak and two anonymous referees for helpful comments. We also thank Jeff Grogger, Bruce Meyer and Derek Neal for very helpful comments that led to revisions and clarifications. Supplementary materials are on our website jenni.uchicago.edu/noncog. We thank Federico

Explaining African economic performance

by Paul Collier - Journal of Economic Literature , 1999
"... The findings, interpretations, and conclusions expressed in this paper are entirely those of the authors. They do not necessarily represent the views of the World Bank, its Executive Directors, or the countries they represent. Acknowledgements: We would like to thank Anke Höffler for research assist ..."
Abstract - Cited by 367 (15 self) - Add to MetaCart
assistance in section 2 and Chris Adam, Janine Aron, Kees Burger, Bill Kinsey, Remco Oostendorp, Ritva Reinikka, Francis Teal, Steve Younger and three referees for comments. Abstract: Africa has had slow growth and a massive exodus of capital. In many respects it has been the most capital-hostile region. We

Telephone call centers: Tutorial, review, and research prospects

by Noah Gans, Ger Koole, Avishai Mandelbaum - Mgmt , 2003
"... Telephone call centers are an integral part of many businesses, and their economic role is significant and growing. They are also fascinating socio-technical systems in which the behavior of customers and employees is closely intertwined with physical performance measures. In these environments trad ..."
Abstract - Cited by 295 (16 self) - Add to MetaCart
for their valuable comments. Thanks are also due to L. Brown, A. Sakov, H. Shen, S. Zeltyn and L. Zhao for their approval of importing pieces of [36, 112].
Next 10 →
Results 1 - 10 of 10,383
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University