Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Alan H. Karp

dblp:36/4757 · DBLP profile ↗
← Back
16ranked-venue papers
7as first author
0since 2021 · last 2012
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 5 · 3 first-authorTheory of computation · 4 · 2 first-authorSecurity and privacy · 3 · 2 first-authorArtificial intelligence and machine learning · 2 · 1 first-authorComputer networks · 2Software engineering, systems software and programming languages · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Algorithmic game theory and mechanism design · 48% Algorithms and data structures · 48% Mathematical optimization · 3%
Artificial intelligence
2 papers
Knowledge representation and reasoning · 77% Planning, search and constraint satisfaction · 23%
Software engineering, system software, and programming languages
1 paper
Services computing and microservices · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
High-performance computing · 100%
Network and information security
1 paper
Authentication and access control · 100%

Topics — the 9 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology
0.012004
Customizable description and dynamic discovery for web services · EC 2004
Services computing and microservices › service discovery
web service discovery
0.012004
Customizable description and dynamic discovery for web services · EC 2004
Algorithmic game theory and mechanism design › negotiation
automated negotiation
0.012004
A game tree strategy for automated negotiation · EC 2004
Algorithms and data structures › search algorithms
game tree search
0.012004
A game tree strategy for automated negotiation · EC 2004
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
game tree search
0.012004
A game tree strategy for automated negotiation · EC 2004
Authentication and access control
access control
0.012004
Customizable description and dynamic discovery for web services · EC 2004
High-performance computing
scientific computing systems
0.011991
Gordon Bell prize lectures · SC 1991
High-performance computing › supercomputing
supercomputing applications
0.011991
Gordon Bell prize lectures · SC 1991
Mathematical optimization › numerical computation
elementary function evaluation
0.011984
Exponential and Logarithm by Sequential Squaring · IEEE Trans. Computers 1984

Methods — techniques the papers use, named apart from their topics

constraint-based search · 0.1attribute-based matching · 0.1game tree search · 0.1expected payoff evaluation · 0.1shift-add-multiply · 0.0sequential squaring · 0.0
YearPublicationVenuePosition
2012 Managing Data Retention Policies at Scale
abstract
Regulatory policies such as EU privacy, HIPAA, and PCI-DSS place requirements on availability, integrity, migration, retention, and access of data, and compliance with such policies on stored data remains a key hurdle to cloud computing. This paper proposes a policy management service that offers scalable management of data retention policies attached to data objects stored in a cloud environment. An important aspect of any data retention service is permanent deletion of data. We achieve secure data deletion by encrypting the data when stored, and then deleting the encryption key at a specified retention time. Thus, we effectively delete the data object and its copies stored in online and offline environments. Our data retention service includes a highly scalable and secure encryption key store to manage encryption keys on-line. A prototype deployed on a 16-machine Linux cluster currently supports 56 MB/sec for encryption, 76 MB/sec for decryption, 31,000 retention policies/sec read and 15,000 retention policies/sec write.
Jun Li 0008, Sharad Singhal, Ram Swaminathan, Alan H. Karp
IEEE Trans. Netw. Serv. Manag.4
2011 Managing data retention policies at scale
abstract
Compliance with regulatory policies on data remains a key hurdle to cloud computing. Policies such as EU privacy, HIPAA, and PCI-DSS place requirements on data availability, integrity, migration, retention, and access, among many others. This paper proposes a policy management service that offers scalable management of data retention policies attached to data objects stored in a cloud environment. The management service includes a highly available and secure encryption key store to manage the encryption keys of data objects. By deleting the encryption key at a specified retention time associated with the data object, we effectively delete the data object and its copies stored in online and offline environments. To achieve scalability, our service uses Hadoop MapReduce to perform parallel management tasks, such as data encryption and decryption, key distribution and retention policy enforcement. A prototype deployed in a 16-machine Linux cluster currently supports 56 MB/sec for encryption, 76 MB/sec for decryption, 31,000 retention policies/sec read and 15,000 retention policies/sec write.
Jun Li 0008, Sharad Singhal, Ram Swaminathan, Alan H. Karp
Integrated Network Management4
2010 Solving the Transitive Access Problem for the Services Oriented Architecture
abstract
A key goal of the Services Oriented Architecture is the composition of independently written and managed services. However, managing access to these services has proven to be a problem. A particularly difficult case involves a service that invokes another service to satisfy an initial request. In a number of cases, implementations are able to achieve either the desired functionality or the required security, but not both at the same time. We say that this service composition suffers from the transitive access problem. We show that the problem arises from a poor choice of access control mechanism, one that uses subject authentication to make access decisions, and that the problem does not occur if we use delegatable authorizations.
Alan H. Karp, Jun Li 0008
ARES1
2009 Near-field communication-based secure mobile payment service
abstract
The loss of customer account information makes headlines all too often. The Payment Card Industry (PCI) Data Security Standard (DSS) has generated resistance from merchants because of its cost and complexity. Unfortunately, innovating in the Point of Sale (PoS) space is hard because the protocols have been standardized, tightly constraining new ideas. Using mobile phones as payment devices opens up some opportunities, but any solution must minimize changes in the back-end processing. This paper describes a Near Field Communication (NFC) based mobile phone payment solution in a service-oriented environment, which provides the needed data protection without requiring costly changes to the payment processing infrastructure. In the payment transaction path, a personal mobile phone is viewed as a single, user-trusted touch point. Compared to other solutions available, our approach better protects user credentials, provides better user control over the transaction, and supports both proximity and remote transactions. The prototype has been integrated with an instore kiosk application and a HP multi-channel banking platform to demonstrate its value in the retail environment.
Kiran S. Kadambi, Jun Li 0008, Alan H. Karp
ICEC3
2009 Mobile In-store Personalized Services
abstract
The mobile shopping assistant (MSA) is a mobile application platform to deliver real-time, in-store, and personalized services, such as personalized product offerings and in-store customer advisory support, to improve the shopping experiences of in-store customers. The service delivery network that powers the MSA involves retail stores and their business partners such as manufacturers. This paper presents the core technologies that we developed in this cross-organizational service network to support the MSA and its personalized services, with focus on service delivery, customer behavior understanding and information sharing. Our event-based techniques allow customers, stores and manufacturers to deliver and consume the services in a loosely coupled manner, thus solving a critical store-specific real-time engagement problem in a seamless way. Service response tracking enables the stores to construct a comprehensive view of a customerpsilas in-store shopping behavior. Finally, the cross-organizational authorization-based access control mechanism effectively enforces information sharing between the stores and their partners.
Jun Li 0008, Ismail Ari, Jhilmil Jain, Alan H. Karp, Mohamed Dekhil
ICWS4
2009 Not one click for security?
abstract
Most people agree with the statement, “There is an inevitable tension between usability and security. ” We don’t, so we set out to build a useful tool to prove our point. Since people in our line of work often share work on documents, such as this paper, we
Alan H. Karp, Marc Stiegler, Tyler Close
SOUPS1
2007 Delegating Responsibility in Digital Systems: Horton's "Who Done It?"
Mark S. Miller, James E. Donnelley, Alan H. Karp
HotSec3
2004 A game tree strategy for automated negotiation
abstract
We present a strategy for automatic negotiation that takes the same approach as computer programs that play games such as chess; we build the game tree. For every offer we look at every counteroffer, every counteroffer to each of them, and so on. The strategy then selects the counteroffer that has the largest expected payoff. A number of problems arise that are unique to using this strategy for negotiation. These include uncertainty in the opponent’s goals, the fact that a bad move can penalize both players, and moves that are continuous, as opposed to discrete. We show how the standard methods of building the tree and evaluating the results were adapted to this environment.
Alan H. Karp, Ren Wu, Kay-Yut Chen, Alex Zhang
EC1
2004 Customizable description and dynamic discovery for web services
abstract
We present a framework for developing ontologies suitable for a dynamic environment, such as that for web services, and describe itsuse in a commercial system for resource discovery. This framework recognizes the importance of standards but allows for evolution in away that doesn't disrupt those adhering to the standards. The framework is based on the notion of discoverable resources which offer extensibility and security. The specific ontology we use in thesystem includes some salient features, such as attribute based matching rules and the corresponding constraint based search, attributes with dynamic values, and active queries.
WooYoung Kim, Alan H. Karp
EC2
1997 High-Precision Division and Square Root
abstract
We present division and square root algorithm for calculations with more bits than are handled by the floating-point hardware. These algorithms avoid the need to multiply two high-precision numbers, speeding up the last iteration by as much as a factor of 10. We also show how to produce the floating-point number closest to the exact result with relatively few additional operations.
Alan H. Karp, Peter W. Markstein
ACM Trans. Math. Softw.1
1993 Gordon Bell prize lectures 1993
abstract
No abstract available.
Don Eric Heller, Alan H. Karp, Horst D. Simon
SC2
1992 Gordon Bell Prize Lectures 1992
Alan H. Karp, Ken Miura, Horst D. Simon
SC1
1991 Gordon Bell prize lectures
abstract
The Gordon Bell Prize recognizes significant achievements in the application of supercomputers to scientific and engineering problems.In this special session the winners of the 1990 pm"ze will give presentations about i!heir winning entries in the competition.
Jack J. Dongarra, Alan H. Karp, Ken Miura, Horst D. Simon
SC2
1990 A variable order Runge-Kutta method for initial value problems with rapidly varying right-hand sides
abstract
Explicit Runge-Kutta methods (RKMs) are among the most popular classes of formulas for the approximate numerical integration of nonstiff, initial value problems. However, high-order Runge-Kutta methods require more function evaluations per integration step than, for example, Adams methods used in PECE mode, and so, with RKMs, it is expecially important to avoid rejected steps. Steps are often rejected when certain derivatives of the solutions are very large for part of the region of integration. This corresponds, for example, to regions where the solution has a sharp front or, in the limit, some derivative of the solution is discontinuous. In these circumstances the assumption that the local truncation error is changing slowly is invalid, and so any step-choosing algorithm is likely to produce an unacceptable step. In this paper we derive a family of explicit Runge-Kutta formulas. Each formula is very efficient for problems with smooth solution as well as problems having rapidly varying solutions. Each member of this family consists of a fifty-order formula that contains imbedded formulas of all orders 1 through 4. By computing solutions at several different orders, it is possible to detect sharp fronts or discontinuities before all the function evaluations defining the full Runge-Kutta step have been computed. We can then either accpet a lower order solution or abort the step, depending on which course of action seems appropriate. The efficiency of the new algorithm is demonstrated on the DETEST test set as well as on some difficult test problems with sharp fronts or discontinuities.
Jeff R. Cash, Alan H. Karp
ACM Trans. Math. Softw.2
1987 An improved parallel Jacobi method for diagonalizing a symmetric matrix
Alan H. Karp, John Greenstadt
Parallel Comput.1
1984 Exponential and Logarithm by Sequential Squaring
abstract
A simple scheme is presented for computing the exponential of a floating point number using only shift, add, and multiply instructions. The algorithm involves no range reduction and handles overflow and underflow conditions automatically. It can be used to provide a result of any desired accuracy, provided only that sufficient precision is used during the calculation. The basic algorithm and three improvements are described. Both computational complexity and numerical precision are discussed. For the sake of symmetry, a method for computing the logarithm along similar lines is given.
Alan H. Karp
IEEE Trans. Computers1