• 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 8,698
Next 10 →

Table 1: Services for Cryptographic Re ection svc encryptCh :

in Cryptographic Reflection
by Pankaj Kakkar, Carl A. Gunter
"... In PAGE 5: ... In order to do this, we revised the key identi cation from being simply a string to a tu- ple consisting of a string and two integers, that represent a name for the key, and the version and revision numbers respectively. All the services in Table1 now have new types that re ect this. Additionally, we added a service to enable introduce a new version of a key on a node: svc newVersion : ((string*int*int),blob) - gt; unit This service identi es the key to update with the rst argu- ment (the version and revision numbers must match for the operation to succeed) and the new value for this key with the second argument.... ..."

Table of Contents able of Contents

in unknown title
by unknown authors 2006

TABLE 3 Effect of Context on Pagecount and the Percent of Content Pages

in A FIELD EXPERIMENT TO ASSESS THE INTERRUPTION EFFECT OF POP-UP PROMOTIONS
by Wendy W. Moe, Wendy W. Moe

Table of Contents

in Nonholonomic mechanical systems with symmetry
by Anthony M. Bloch, P. S. Krishnaprasad, Jerrold E. Marsden, Richard M. Murray, Communicated R Holmes 1996
Cited by 92

Table of Contents

in Models of Sharing Graphs: A Categorical Semantics of let and letrec
by Masahito Hasegawa 1997
Cited by 56

TABLE OF CONTENTS

in Automatic Array Privatization and Demand-Driven Symbolic Analysis
by Peng Tu 1995
Cited by 49

TABLE OF CONTENTS

in Automatic Array Privatization And Demand-Driven Symbolic Analysis
by Peng Tu, Peng Tu, Peng Tu Ph. D, D. Padua Advisor 1995
Cited by 49

Table of contents

in The Birth of Prolog
by Alain Colmerauer 1993
Cited by 44

Table of Contents

in Audio System For Technical Readings
by T. V. Raman 1994
Cited by 38

Table Of Contents

in Frameworks for Component-Based Client/Server Computing
by Scott M. Lewandowski 1998
Cited by 33
Next 10 →
Results 1 - 10 of 8,698
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