Search results for "federal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Gilberto Pessanha Ribeiro, Jano Moreira de Souza, Anna Lucia Barreto de Freitas	Digital Geospatial Metadata: a Brazilian Case of Federal Databases.	MD	1996	DBLP BibTeX RDF
15	Wayne Madsen	Reinventing Federal Security Policy: A Failed Effort.	Inf. Secur. J. A Glob. Perspect.	1995	DBLP DOI BibTeX RDF
15	Mostafa Hashem Sherif	Federal organizations and the commercialization of technology.	IEEE Commun. Mag.	1995	DBLP DOI BibTeX RDF
15	Shane M. Greenstein	Lock-in and the costs of switching mainframe computer vendors in the US federal government in the 1970s.	IEEE Ann. Hist. Comput.	1995	DBLP DOI BibTeX RDF
15	Anu Vedantham, Laura Breeden	Networking for K-12 education: the federal perspective.	Internet Res.	1995	DBLP DOI BibTeX RDF
15	Ronald N. Kostoff	Federal research impact assessment: Axioms, approaches, applications.	Scientometrics	1995	DBLP DOI BibTeX RDF
15	Jay BloomBecker	Simplifying the state and federal computer crime law maze in the USA.	Inf. Manag. Comput. Secur.	1995	DBLP DOI BibTeX RDF
15		Federal Certification Authority Liability and Policy - Law and Policy of Certificate-Based Public Key and Digital Signatures: by Michael S. Baum, 1994, softcover, National Institute of Standards and Technology, 421 pp.	Comput. Law Secur. Rev.	1995	DBLP DOI BibTeX RDF
15	Ronald N. Kostoff	Federal Research Impact Assessment: State-of-the-Art.	J. Am. Soc. Inf. Sci.	1994	DBLP DOI BibTeX RDF
15	David C. Wood	Federal networking standards: policy issues.	ACM Stand.	1994	DBLP DOI BibTeX RDF
15	Diane Fountaine	Draft report of the Federal Internetworking Requirements Panel, and selected responses.	Comput. Commun. Rev.	1994	DBLP DOI BibTeX RDF
15	Lin Zucconi	Issues concerning re-engineering of legacy software in the federal R&D environment.	ACM SIGSOFT Softw. Eng. Notes	1994	DBLP DOI BibTeX RDF
15	Gary W. Strong	Meeting federal accessibility/disability requirements in interface design.	CHI Conference Companion	1994	DBLP DOI BibTeX RDF
15		Federal appeals court rules against white house in profs case.	Arch. Mus. Informatics	1993	DBLP DOI BibTeX RDF
15	Christoph Seidel	The European research & development programme DELTA in the Federal Republic of Germany.	Computer Mediated Education of Information Technology Professionals and Advanced End-Users	1993	DBLP BibTeX RDF
15	Michel Mauc, Geneviève Baudoin, Milan Jelinek	Complexity reduction for federal standard 1016 CELP coder.	EUROSPEECH	1993	DBLP DOI BibTeX RDF
15	Jan Gruntorad	Research and Academic Networking in the Czech and Slovak Federal Republic.	Comput. Networks ISDN Syst.	1992	DBLP DOI BibTeX RDF
15	Prashant C. Palvia, James A. Perkins, Steven M. Zeltmann	SIM Paper Competition: The PRISM System: A Key to Organizational Effectiveness at Federal Experss Corporation.	MIS Q.	1992	DBLP BibTeX RDF
15	William J. Cook	Federal law and the interstate transfer of stolen computer data: riggs and brown.	Comput. Law Secur. Rev.	1992	DBLP DOI BibTeX RDF
15		US privacy law: Compilation of State & Federal Privacy Law (1992), Privacy Journal, Loose Leaf, 136 p, (US $29), ISBN 0- 930072-08-1.	Comput. Law Secur. Rev.	1992	DBLP DOI BibTeX RDF
15		Technology against terrorism - The federal effort, 1991 (Office of Technology Assessment, paperback report), 118: 118 pp, US$5.00 (Ref OTA-ISC-481).	Comput. Law Secur. Rev.	1992	DBLP DOI BibTeX RDF
15	Karl A. Stroetmann, Werner Schwuchow	Information policy in the Federal Republic of Germany: development, analysis, perspective.	J. Inf. Sci.	1992	DBLP DOI BibTeX RDF
15	Douglas A. Samuelson	On the hazards of relying on mathematical models: Three cases from federal policy analysis.	Comput. Oper. Res.	1991	DBLP DOI BibTeX RDF
15	Joseph P. Campbell Jr., Thomas E. Tremain, Vanoy C. Welch	The federal standard 1016 4800 bps CELP voice coder.	Digit. Signal Process.	1991	DBLP DOI BibTeX RDF
15	Dennis Bodson, Robert T. Adair, Michael D. Meister	Time and frequency information in telecommunications systems standardized by Federal Standard 1002A.	Proc. IEEE	1991	DBLP DOI BibTeX RDF
15	Reinhard Schramm	Perspektiven der Nutzung von Patentdatenbanken in den neuen Bundesländern / Perspectives of Use of Patent Databases in the new federal states of Germany.	it Inf. Technol.	1991	DBLP DOI BibTeX RDF
15	Joseph Allen	Commercializing federal technology.	Compcon	1991	DBLP DOI BibTeX RDF
15	M. Ellis	Federal funding possibilities for minority research programs (panel session).	ACM Conference on Computer Science	1991	DBLP DOI BibTeX RDF
15	Paul Kelly	Australian Federal Privacy Laws and the Role of the Privacy Commissioner in Monitoring Data Matching.	Managing Information Technology's Organisational Impact	1991	DBLP BibTeX RDF
15	D. Fichtner	Competition in the university system of the Federal Republic of Germany.	Scientometrics	1990	DBLP DOI BibTeX RDF
15	Hans-Dieter Daniel, R. Fisch	Introduction: Quantitative science and technology indicators studies in the Federal Republic of Germany.	Scientometrics	1990	DBLP DOI BibTeX RDF
15	E. Rau, T. Hummel	Rankings of economics departments in the Federal Republic of Germany.	Scientometrics	1990	DBLP DOI BibTeX RDF
15	Frank Schlie-Roosen	Quantitative indicators for federal government research and technology policy.	Scientometrics	1990	DBLP DOI BibTeX RDF
15	Charlotte Laqui, Yaoshuang Qu	A simulation study of the communications performance of the federal avition Aministration Mode Select Beacon System for airtraffic control.	WSC	1990	DBLP DOI BibTeX RDF
15	John Richardson Jr.	Federal information policies in the 1980's: Conflicts and issues.	JASIS	1989	DBLP DOI BibTeX RDF
15	Richard E. Ladner	Computer Accessibility For Federal Workers With Disabilities: It's The Law.	Commun. ACM	1989	DBLP DOI BibTeX RDF
15		The Federal high performance computing program - Sept. 89.		1989	RDF
15	Joseph P. Campbell Jr., Vanoy C. Welch, Thomas E. Tremain	An expandable error-protected 4800 bps CELP coder (US Federal Standard 4800 bps voice coder).	ICASSP	1989	DBLP DOI BibTeX RDF
15	Santosh Chokhani	Protection of call detail records data in federal telecommunications.	ACSAC	1989	DBLP DOI BibTeX RDF
15	Gregory M. Vaudreuil	The Federal Research Internet Committee and the National Research Network.	Comput. Commun. Rev.	1988	DBLP DOI BibTeX RDF
15	Joseph A. Hull	Proposed Federal Standard 1070.	LCN	1988	DBLP DOI BibTeX RDF
15	Rüdiger Dierstein, Dieter Müller-Wichards, Hans-Martin Wacker (eds.)	Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings	Parallel Computing in Science and Engineering	1988	DBLP DOI BibTeX RDF
15	J. Timothy Sprehe	Section I. National policy for health information services. Policy on management of Federal Information Resources.	J. Am. Soc. Inf. Sci.	1987	DBLP DOI BibTeX RDF
15	Jean A. Westler	Section III. Health information analysis centers, clearinghouses, and other special projects. Federal health information clearinghouses.	J. Am. Soc. Inf. Sci.	1987	DBLP DOI BibTeX RDF
15	Raymond A. Palmer	Effect of federal programs on health sciences libraries.	J. Am. Soc. Inf. Sci.	1987	DBLP DOI BibTeX RDF
15	Valerio R. Hunt, Gregory V. Kloster	Guest Editors' Introduction the Federal Aviation Administration's Advanced Automation Program.	Computer	1987	DBLP DOI BibTeX RDF
15	J. Timothy Sprehe	Federal policy on information access and dissemination.	Inf. Soc.	1987	DBLP DOI BibTeX RDF
15	Barbara B. Simmons, Joel S. Yudken	Federal funding in computer science: a preliminary report.	SIGACT News	1987	DBLP DOI BibTeX RDF
15	R. A. Zollinger	The Illinois resource network - linking business and government with university and federal laboratory expertise.	FJCC	1987	DBLP BibTeX RDF
15	Karl Solchenbach, Ulrich Trottenberg	On the Multigrid Acceleration Approach in Computational Fluid Dynamics.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	David Callahan, Keith D. Cooper, Robert Hood, Ken Kennedy, Linda Torczon, Scott K. Warren	Parallel Programming Support in ParaScope.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Hans-Martin Wacker	Introduction to the Seminar.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Burton J. Smith	Shared Memory, Vectors, Message Passing, and Scalability.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Garry H. Rodrigue, A. Louise Perkins	Locating Parallel Numerical Tasks in the Solution of Viscous Fluid Flow.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Constantine D. Polychronopoulos	Automatic Restructuring of Fortran Programs for Parallel Execution.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Dieter Müller-Wichards	An Algebraic Approach to Performance Analysis.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Howard Jay Siegel, William Tsun-Yuk Hsu, Menkae Jeng, Wayne G. Nation	Communication Techniques in Parallel Processing.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Arvind, Robert A. Iannucci	Two Fundamental Issues in Multiprocessing.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Roger W. Hockney	Classification and Evaluation of Parallel Computer Systems.	Parallel Computing in Science and Engineering	1987	DBLP DOI BibTeX RDF
15	Kenneth L. Kraemer, John Leslie King	OR Practice - Computer-Based Models for Policy Making: Uses and Impacts in the U.S. Federal Government.	Oper. Res.	1986	DBLP DOI BibTeX RDF
15	T. Michael Knasel	Robotics research and development in the federal republic of Germany.	Robotics	1986	DBLP DOI BibTeX RDF
15	James F. Decker	Supercomputer Activities of the Federal Coordinating Council on Science, Engineering, and Technology and the Department of Energy's Supercomputer Program.	COMPCON	1986	DBLP BibTeX RDF
15	Cathleen Stasz, Tora K. Bikson	Computer-supported cooperative work: examples and issues in one federal agency.	CSCW	1986	DBLP DOI BibTeX RDF
15	Bernard J. Robinet, Reinhard Wilhelm (eds.)	ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings	ESOP	1986	DBLP DOI BibTeX RDF
15	Karl Nickel (eds.)	Interval Mathemantics 1985: Proceedings of the International Symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985	Interval Mathemantics	1986	DBLP DOI BibTeX RDF
15	Maurice Naftalin	An Experiment in Practical Semantics.	ESOP	1986	DBLP DOI BibTeX RDF
15	Paola Mello, Antonio Natali	Programs as Collections of Communicating Prolog Units.	ESOP	1986	DBLP DOI BibTeX RDF
15	Joost N. Kok	Denotational Semantics of Nets with Nondeterminism.	ESOP	1986	DBLP DOI BibTeX RDF
15	Christian Codognet, Philippe Codognet, Gilberto Filé	A Very Intelligent Backtracking Method for Logic Programs.	ESOP	1986	DBLP DOI BibTeX RDF
15	Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders	Data Refinement Refined.	ESOP	1986	DBLP DOI BibTeX RDF
15	Patrice Boizumault	A Classical Implementation for Prolog-II.	ESOP	1986	DBLP DOI BibTeX RDF
15	Jiro Tanaka, Makoto Kishishita	Compiling Extended Concurrent Prolog - Single Queue Compilation.	ESOP	1986	DBLP DOI BibTeX RDF
15	Uwe Kastens, Michael Schmidt	Lifetime Analysis for Procedure Parameters.	ESOP	1986	DBLP DOI BibTeX RDF
15	Elias Dahlhaus, Johann A. Makowsky	The Choice of Programming Primitives for SETL-Like Programming Languages.	ESOP	1986	DBLP DOI BibTeX RDF
15	Rémi Triolet, Paul Feautrier, François Irigoin	Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls.	ESOP	1986	DBLP DOI BibTeX RDF
15	Airi Salminen	Specification of a Tool for Viewing Program Text.	ESOP	1986	DBLP DOI BibTeX RDF
15	Stéphane Kaplan	Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs.	ESOP	1986	DBLP DOI BibTeX RDF
15	Hanne Riis Nielson, Flemming Nielson	Pragmatic Aspects of Two-Level Denotational Meta-Languages.	ESOP	1986	DBLP DOI BibTeX RDF
15	Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones	A Safe Approach to Parallel Combinator Reduction (Extended Abstract).	ESOP	1986	DBLP DOI BibTeX RDF	Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
15	Eugene W. Stark	Proving Entailment Between Conceptual State Specifications.	ESOP	1986	DBLP DOI BibTeX RDF
15	Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe	A General Approach to the Optimization of Function Calls.	ESOP	1986	DBLP DOI BibTeX RDF
15	Corrado Böhm	Reducing Recursion to Iteration by Algebraic Extension.	ESOP	1986	DBLP DOI BibTeX RDF	subrecursive function theory, Functional programming, initial algebras, algebraic data types, term algebras
15	Alfons Geser, Heinrich Hußmann	Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution.	ESOP	1986	DBLP DOI BibTeX RDF
15	Mads Dam, Frank Jensen	Compiler Generation from Relational Semantics.	ESOP	1986	DBLP DOI BibTeX RDF
15	Harald Søndergaard	An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction.	ESOP	1986	DBLP DOI BibTeX RDF
15	Pierre Jouvelot	Parallelization by Semantic Detection of Reductions.	ESOP	1986	DBLP DOI BibTeX RDF
15	Gilles Bernot, Michel Bidoit, Christine Choppy	Algebraic Semantics of Exception Handling.	ESOP	1986	DBLP DOI BibTeX RDF
15	Hugh Glaser, Sean Hayes	Another Implementation Technique for Applicative Languages.	ESOP	1986	DBLP DOI BibTeX RDF
15	Bernd Schwinn, Gerhard Barth	An And-Parallel Execution Model of Logic Programs.	ESOP	1986	DBLP DOI BibTeX RDF
15	Didier Bert, Rachid Echahed	Design and Implementation of a Generic, Logic and Functional Programming Language.	ESOP	1986	DBLP DOI BibTeX RDF
15	Flemming Nielson	Correctness of Code Generation from a Two-Level Meta-Language.	ESOP	1986	DBLP DOI BibTeX RDF
15	Patrick Bellot	GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine.	ESOP	1986	DBLP DOI BibTeX RDF
15	David E. Nadziejka	Federal information policy.	J. Am. Soc. Inf. Sci.	1985	DBLP DOI BibTeX RDF
15	Dennis Bodson	The federal telecommunication standards program.	IEEE Commun. Mag.	1985	DBLP DOI BibTeX RDF
15	Mina Rees	The Federal Computing Machine Program.	IEEE Ann. Hist. Comput.	1985	DBLP DOI BibTeX RDF
15	Paul B. Schneck, Donald M. Austin, Stephen L. Squires, John R. Lehmann, David W. Mizell, Kenneth Wallgren	Parallel Processor Programs in the Federal Government.	Computer	1985	DBLP DOI BibTeX RDF
15	James F. Decker, John Connolly, Paul B. Schneck, Randolph Graves, Stephen L. Squires, John S. Cavallini	The federal government's supercomputer efforts (Panel).	ACM Annual Conference	1985	DBLP DOI BibTeX RDF
15	Ernst Kohl	The Online Union Catalogue of Parliamentary and Governmental Institutions in the Federal Republic of Germany.	Essen Symposium	1985	DBLP BibTeX RDF
15	Klaus D. Schmidt	Embedding Theorems for Cones and Applications to Classes of Convex Sets Occurring in Interval Mathematics.	Interval Mathematics	1985	DBLP DOI BibTeX RDF
15	Jiri Rohn	Inner Solutions of Linear Interval Systems.	Interval Mathematics	1985	DBLP DOI BibTeX RDF