Search results for "Virgil"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Liviu-Virgil Ciortuz	On Compilation of the Quick-Check Filter for Feature Structure Unification.	IWPT	2001	DBLP BibTeX RDF
22	Liviu-Virgil Ciortuz	On Specialised Compilation of Parsing Rules in Unification Grammars.	IWPT	2001	DBLP BibTeX RDF
22	Virgil Ivaschescu	Small sinusoidal vibrations amplitude measurements with the Michelson interferometer.	IEEE Trans. Instrum. Meas.	2000	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Grigore Rosu	Weak Inclusion Systems: Part Two.	J. Univers. Comput. Sci.	2000	DBLP DOI BibTeX RDF
22	Virgil L. P. Blake, Thomas T. Surprenant	Navigating the Parallel Universe: Education for Collection Management in the Electronic Age.	Libr. Trends	2000	DBLP BibTeX RDF
22	Alessandro Bogliolo, Enrico Macii, Virgil Mihailovici, Massimo Poncino	Power Models for Semi-autonomous RTL Macros.	PATMOS	2000	DBLP DOI BibTeX RDF
22	Virgil D. Gligor	Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
22	Himanshu Khurana, Virgil D. Gligor	Review and Revocation of Access Privileges Distributed with PKI Certificates.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
22	Liviu-Virgil Ciortuz	Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars.	WLP	2000	DBLP BibTeX RDF
22	Virgil Andronache, Edwin Hsing-Mean Sha, Nelson L. Passos	Design and analysis of efficient application-specific on-line page replacement techniques.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF
22	Crispin Cowan, Steve Beattie, Greg Kroah-Hartman, Calton Pu, Perry Wagle, Virgil D. Gligor	SubDomain: Parsimonious Server Security.	LISA	2000	DBLP BibTeX RDF
22	Virgil P. Stokes, Håkan Lanshammar, Alf Thorstensson	Dominant pattern extraction from 3-D kinematic data.	IEEE Trans. Biomed. Eng.	1999	DBLP DOI BibTeX RDF
22	Virgil D. Gligor, Pompiliu Donescu	Integrity-Aware PCBC Encryption Schemes.	Security Protocols Workshop	1999	DBLP DOI BibTeX RDF
22	Stephen Ruth, Jeffrey Theobald, Virgil Frizzell	A university-based approach to the diffusion of knowledge management concepts and practice.	SIGCPR	1999	DBLP DOI BibTeX RDF	chief knowledge officer, diffusion of IT practice, knowledge codification and classification, trust-based organizations, knowledge management, knowledge transfer, knowledge generation, corporate strategy
22	Virgil D. Gligor	20 Years of Operating Systems Security.	S&P	1999	DBLP DOI BibTeX RDF
22	Virgil P. Stokes, Peter Händel	Comments on "On amplitude and frequency demodulation using energy operators".	IEEE Trans. Signal Process.	1998	DBLP DOI BibTeX RDF
22	Moise Cocan, Virgil Proscanu	The special degree of a node in a graph.	Sci. Ann. Cuza Univ.	1998	DBLP BibTeX RDF
22	Virgil D. Gligor, Peter Landrock, T. Mark A. Lomas, Raphael Yahalom, John P. Warne	Discussion Session: Differences Between Academic and Commercial Security.	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
22	Roger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson	Panel Session - Future Directions.	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
22	Virgil D. Gligor	Application-Oriented Security Policies and Their Composition (Transcript of Discussion).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
22	Virgil D. Gligor, Serban I. Gavrila	Application-Oriented Security Policies and Their Composition (Position Paper).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
22	Liviu-Virgil Ciortuz	DF - a feature constraint system and its extension to a logic concurrent language.	JFPLC	1998	DBLP BibTeX RDF
22	Virgil D. Gligor, Serban I. Gavrila, David F. Ferraiolo	On the Formal Definition of Separation-of-Duty Policies and their Composition.	S&P	1998	DBLP DOI BibTeX RDF
22	Matthew B. Dwyer, Virgil Wallentine	A Framework for Parallel Adaptive Grid Simulations.	Concurr. Pract. Exp.	1997	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Grigore Rosu	Weak Inclusion Systems.	Math. Struct. Comput. Sci.	1997	DBLP DOI BibTeX RDF
22	Shiuh-Pyng Shieh, Virgil D. Gligor	On a Pattern-Oriented Model for Intrusion Detection.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Access misuse, audit analysis, context-dependent intrusion, operational security problems, rule-based methods, intrusion detection, statistical methods, secure systems
22	Virgil Emil Cazanescu	The Structure of the Basic Morphisms.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
22	Matthew B. Dwyer, Virgil Wallentine	Object-Oriented Coordination Abstractions for Parallel Software.	PDPTA	1997	DBLP BibTeX RDF
22	Douglas Herrmann, Virgil Sheets, Justine Wells, Carol Yoder	Palmtop Computerized Reminding Devices: The Effectiveness of the Temporal Properties of Warning Signals.	AI Soc.	1996	DBLP DOI BibTeX RDF
22	Virgil Domocos	A combinatorial method for the enumeration of column-convex polyominoes.	Discret. Math.	1996	DBLP DOI BibTeX RDF
22	Virgil Domocos	Minimal coverings of uniform hypergraphs and P-recursiveness.	Discret. Math.	1996	DBLP DOI BibTeX RDF
22	Serban N. Buzeteanu, Virgil Domocos	Polynomial identities from weighted lattice path counting.	Discret. Math.	1996	DBLP DOI BibTeX RDF
22	Shiuh-Pyng Shieh, Virgil D. Gligor	Detecting Illicit Leakage of Information in Operating Systems.	J. Comput. Secur.	1996	DBLP DOI BibTeX RDF
22	Virgil Domocos, Serban N. Buzeteanu	The generating function of irreducible coverings by edges of complete k-partite graphs.	Discret. Math.	1995	DBLP DOI BibTeX RDF
22	Liviu-Virgil Ciortuz	DF Constraint System.	CCP	1995	DBLP BibTeX RDF
22	Liviu-Virgil Ciortuz, Mihaela Juganaru	Towords a Constraint-based Implementation of F-Logic.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
22	Andrew Berman, Virgil Bourassa, Erik Selberg	TRON: Process-Specific File Protection for the UNIX Operating System.	USENIX	1995	DBLP BibTeX RDF
22	Virgil D. Gligor	Characteristics of role-based access control.	ACM Workshop on Role-Based Access Control	1995	DBLP DOI BibTeX RDF
22	Virgil Diodato	User Preferences for Features in Back of Book Indexes.	J. Am. Soc. Inf. Sci.	1994	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Gheorghe Stefanescu	Classes of finite relations as initial abstract data types - II.	Discret. Math.	1994	DBLP DOI BibTeX RDF
22	Virgil Domocos, William R. Schmitt	An application of linear species.	Discret. Math.	1994	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Gheorghe Stefanescu	Feedback, Iteration, and Repetition.	Mathematical Aspects of Natural and Formal Languages	1994	DBLP DOI BibTeX RDF
22	J. E. Butler, Virgil Wallentine	A Performance Study of the RPE Mechanism for PDES.	MASCOTS	1994	DBLP DOI BibTeX RDF
22	Liviu-Virgil Ciortuz	Object-Oriented Inferences in a Logical Framework for Feature Grammars.	ICGI	1994	DBLP DOI BibTeX RDF
22	Liviu-Virgil Ciortuz, Mirela Petrea	LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages.	LPE	1994	DBLP BibTeX RDF
22	Virgil Diodato, Fran Smith	Obsolescence of Music Literature.	J. Am. Soc. Inf. Sci.	1993	DBLP DOI BibTeX RDF
22	Virgil Domocos, Florentina Hristea	A codification of column-convex polyominoes which generates a regular language.	Bull. EATCS	1993	DBLP BibTeX RDF
22	Virgil Domocos	The generating function of completely bracketed expressions.	Bull. EATCS	1993	DBLP BibTeX RDF
22	Virgil Domocos	The generating function of completely bracketed expressions.	Bull. EATCS	1993	DBLP BibTeX RDF
22	Liviu-Virgil Ciortuz	Logic Programming with Built-in Object-Orientation.	Sci. Ann. Cuza Univ.	1993	DBLP BibTeX RDF
22	Virgil Diodato, Georgianna Henry	The rates of assignment of narrower terms in the Thesaurus of ERIC Descriptors.	J. Inf. Sci.	1993	DBLP DOI BibTeX RDF
22	Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato	On Inter-Realm Authentication in Large Distributed Systems.	J. Comput. Secur.	1993	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu	Local Equational Logic II.	Developments in Language Theory	1993	DBLP BibTeX RDF
22	Virgil Emil Cazanescu	Local Equational Logic.	FCT	1993	DBLP DOI BibTeX RDF
22	Stuart G. Stubblebine, Virgil D. Gligor	Protocol design for integrity protection.	S&P	1993	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Rodica Ceterchi	Initial and Final Congruences.	Acta Cybern.	1992	DBLP BibTeX RDF
22	Charles J. Fleckenstein, Helen Gill, David Hemmendinger, Carolyn McCreary, John D. McGregor, Roy P. Pargas, Arthur M. Riehl, Virgil Wallentine	Multiprocessing.	Adv. Comput.	1992	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Gheorghe Stefanescu	A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
22	Virgil Bardan	Migration and dip-moveout seismic processes expressed as an invariant two-dimensional convolution.	Int. J. Imaging Syst. Technol.	1992	DBLP DOI BibTeX RDF
22	Sarbari Gupta, Virgil D. Gligor	Towards a Theory of Penetration-Resistant Systems and its Applications.	J. Comput. Secur.	1992	DBLP DOI BibTeX RDF
22	Jagan P. Agrawal, Vijay Kumar, Virgil Wallentine (eds.)	Proceedings of the ACM 20th Annual Conference on Computer Science, CSC '92, Kansas City, MO, USA, March 3-5, 1992	ACM Conference on Computer Science	1992	DBLP BibTeX RDF
22	Jingsha He, Virgil D. Gligor	Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code.	ESORICS	1992	DBLP DOI BibTeX RDF
22	Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato	On inter-realm authentication in large distributed systems.	S&P	1992	DBLP DOI BibTeX RDF
22	Stuart G. Stubblebine, Virgil D. Gligor	On message integrity in cryptographic protocols.	S&P	1992	DBLP DOI BibTeX RDF
22	C. J. Testa, B. D. Wilner, Virgil D. Gligor	Trusted RUBIX architecture and policy model interpretation.	ACSAC	1992	DBLP DOI BibTeX RDF
22	Virgil Diodato, Gretchen Gandt	Back of book indexes and the characteristics of author and nonauthor indexing: Report of an exploratory study.	J. Am. Soc. Inf. Sci.	1991	DBLP DOI BibTeX RDF
22	Marilyn M. Levine, Virgil Diodato	Book production: Patterns and predictors.	Inf. Process. Manag.	1991	DBLP DOI BibTeX RDF
22	Mehmet Yanilmaz, Virgil Eveleigh	Numerical device modeling for electronic circuit simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
22	Georgianna Henry, Virgil Diodato	The rates of Assignment of Thesaurus Terms in the Eric Information Retrieval System: an Analysis of Hierarchies and Levels.	J. Documentation	1991	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Gheorghe Stefanescu	Classes of finite relations as initial abstract data types I.	Discret. Math.	1991	DBLP DOI BibTeX RDF
22	Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong	Logics for Cryptographic Protocols - Virtues and Limitations.	CSFW	1991	DBLP DOI BibTeX RDF
22	Rajashekar Kailar, Virgil D. Gligor	On Belief Evolution in Authentication Protocols.	CSFW	1991	DBLP DOI BibTeX RDF
22	Sarbari Gupta, Virgil D. Gligor	Towards a Theory of Penetration-Resistant Systems and its Applications.	CSFW	1991	DBLP DOI BibTeX RDF
22	Shiuh-Pyng Shieh, Virgil D. Gligor	A Pattern-Oriented Intrusion-Detection Model and Its Applications.	S&P	1991	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu, Gheorghe Stefanescu	A note on axiomatizing flowchart schemes.	Acta Cybern.	1990	DBLP BibTeX RDF
22	Shyh-Wei Luan, Virgil D. Gligor	A Fault-Tolerant Protocol for Atomic Broadcast.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	delay of messages, fail-stop sites, Byzantine site behavior, majority-concensus decisions, decentralized termination protocol, performanceanalysis, performance evaluation, protocols, fault tolerant computing, network partitioning, duplication, reordering, atomic broadcast, loss, arbitrary network, fault-tolerant protocol
22	Che-Fn Yu, Virgil D. Gligor	A Specification and Verification Method for Preventing Denial of Service.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	failure absence, integrity violations, user agreements, simultaneity conditions, denial-of-service prevention, formal specification, concurrent programs, security of data, specification method, verification method
22	Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran	On the Identification of Covert Storage Channels in Secure Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	covert storage channels, Secure Xenix kernel, visible/alterable kernel variables, language code, sharing relationships, nondiscretionary access rules, false flow violations, kernel locations, audit code, time-delay variables, covert-channel handling, software engineering, identification, security of data, source code, operating systems (computers), secure systems, information-flow analysis, implementation languages
22	Virgil L. P. Blake, Thomas T. Surprenant	Electronic Immigrants in the Information Age: Public Policy Considerations.	Inf. Soc.	1990	DBLP DOI BibTeX RDF
22	Jingsha He, Virgil D. Gligor	Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems.	CSFW	1990	DBLP DOI BibTeX RDF
22	Shyh-Wei Luan, Virgil D. Gligor	On Replay Detection in Distributed Systems.	ICDCS	1990	DBLP DOI BibTeX RDF
22	Pau-Chen Cheng, Virgil D. Gligor	On the Formal Specification and Verification of a Multiparty Session Protocol.	S&P	1990	DBLP DOI BibTeX RDF
22	Shiuh-Pyng Shieh, Virgil D. Gligor	Auditing the Use of Covert Storage Channels in Secure Systems.	S&P	1990	DBLP DOI BibTeX RDF
22	Virgil Bardan	Sampling 3-D seismic data.	Int. J. Imaging Syst. Technol.	1989	DBLP DOI BibTeX RDF
22	Wan-Hong S. Cheng, Virgil Wallentine	DEBL: A Knowledge-Based Language for Specifying and Debugging Distributed Programs.	Commun. ACM	1989	DBLP DOI BibTeX RDF
22	Wan-Hong S. Cheng, Virgil Wallentine	DEBL: A Knowledge-Based Language for Specifying and Debugging Programs.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
22	Mohammed M. Aman, Wilfred W. Fong, Virgil Diodato	The Use of LAN in Improving Management and Services in an Academic Environment.	Essen Symposium	1989	DBLP BibTeX RDF
22	Dean M. Young, Danny W. Turner, Virgil R. Marco	On the robustness of the equal-mean discrimination rule with uniform covariance structure against serially correlated training data.	Pattern Recognit.	1988	DBLP DOI BibTeX RDF
22	Virgil R. Marco, Dean M. Young, Danny W. Turner	Predictive discrimination for autoregressive processes.	Pattern Recognit. Lett.	1988	DBLP DOI BibTeX RDF
22	Che-Fu Yu, Virgil D. Gligor	A formal specification and verification method for the prevention of denial of service.	S&P	1988	DBLP DOI BibTeX RDF
22	Chii-Ren Tsai, Virgil D. Gligor	A bandwidth computation model for covert storage channels and its applications.	S&P	1988	DBLP DOI BibTeX RDF
22	Shyh-Wei Luan, Virgil D. Gligor	A Fault-Tolerant Protocol for Atomic Broadcast.	SRDS	1988	DBLP DOI BibTeX RDF
22	Virgil D. Gligor, C. Sekar Chandersekaran, Robert S. Chapman, Leslie J. Dotterer, Matthew S. Hecht, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, N. Vasudevan	Design and Implementation of Secure Xenix.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
22	Virgil D. Gligor, C. Sekar Chandersekaran, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich	A New Security Testing Method and Its Application to the Secure Xenix Kernel.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
22	Shau-Ping Lo, Virgil D. Gligor	A Comparative Analysis of Multiprocessor Scheduling Algorithms.	ICDCS	1987	DBLP BibTeX RDF
22	Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran	A Formal Method for the Identification of Covert Storage Channels in Source Code.	S&P	1987	DBLP DOI BibTeX RDF
22	Shau-Ping Lo, Virgil D. Gligor	Properties of Multiprocessor Scheduling Algorithms.	ICPP	1987	DBLP BibTeX RDF
22	Virgil D. Gligor, Radu Popescu-Zeletin	Transaction management in distributed heterogeneous database management systems.	Inf. Syst.	1986	DBLP DOI BibTeX RDF
22	Virgil D. Gligor	On Denial-of-Service in Computer Networks.	ICDE	1986	DBLP DOI BibTeX RDF
22	Virgil Emil Cazanescu	Iterative Systems of Equations.	MFCS	1986	DBLP DOI BibTeX RDF