Search results for "polymorphic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
93	Atsushi Ohori	A Compilation Method for ML-Style Polymorphic Record Calculi.	POPL	1992	DBLP DOI BibTeX RDF
85	Jean-Pierre Jouannaud, Albert Rubio	Polymorphic higher-order recursive path orderings.	J. ACM	2007	DBLP DOI BibTeX RDF	Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
78	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Genericity and the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
76	Houjun Liang, Wenjian Luo, Xufa Wang	Designing Polymorphic Circuits with Evolutionary Algorithm Based on Weighted Sum Method.	ICES	2007	DBLP DOI BibTeX RDF	Polymorphic Circuit, Weighted Sum, Evolutionary Algorithm
75	Martin Elsman	Polymorphic Equality - No Tags Required.	Types in Compilation	1998	DBLP DOI BibTeX RDF
67	Lanjia Wang, Hai-Xin Duan, Xing Li 0001	Dynamic emulation based modeling and detection of polymorphic shellcode at the network level.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	polymorphic shellcode, CPU emulation, intrusion detection
67	Lorenzo Cavallaro, Andrea Lanzi, Luca Mayer, Mattia Monga	LISABETH: automated content-based signature generator for zero-day polymorphic worms.	SESS	2008	DBLP DOI BibTeX RDF	automatic content-based signature generation, intrusion detection, network security, polymorphic worms
67	Michal Bidlo, Lukás Sekanina	Providing information from the environment for growing electronic circuits through polymorphic gates.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	polymorphic circuit, genetic algorithm, development, digital circuits design
66	Siros Supavita, Taratip Suwannasart	Testing Polymorphic Interactions in UML Sequence Diagrams.	ITCC (2)	2005	DBLP DOI BibTeX RDF	UML, Software Testing, Object-Oriented, Polymorphism, Sequence Diagram
66	James Newsome, Brad Karp, Dawn Xiaodong Song	Polygraph: Automatically Generating Signatures for Polymorphic Worms.	S&P	2005	DBLP DOI BibTeX RDF
59	Yong Tang 0004, Shigang Chen	An Automated Signature-Based Approach against Polymorphic Internet Worms.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Internet security, worm detection, polymorphic worms
59	José Carlos Brustoloni, Ricardo Villamarín-Salomón	Improving security decisions with polymorphic and audited dialogs.	SOUPS	2007	DBLP DOI BibTeX RDF	audited dialogs, context-sensitive guidance, e-mail client, polymorphic dialogs, virus propagation, attachment
59	Hsiang-Lun Huang, Tzong-Jye Liu, Kuong-Ho Chen, Chyi-Ren Dow, Lih-Chyau Wuu	A polymorphic shellcode detection mechanism in the network.	Infoscale	2007	DBLP DOI BibTeX RDF	polymorphic shellcode, intrusion detection system, buffer overflow
59	Songqing Chen, Xinyuan Wang 0005, Lei Liu 0021, Xinwen Zhang	WormTerminator: an effective containment of unknown and polymorphic fast spreading worms.	ANCS	2006	DBLP DOI BibTeX RDF	wormterminator, zero-day worms, virtual machine, worm containment, polymorphic worms
58	Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos	Network-level polymorphic shellcode detection using emulation.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF
58	Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo	On the infeasibility of modeling polymorphic shellcode.	CCS	2007	DBLP DOI BibTeX RDF	shellcode, polymorphism, statistical models, signature generation
58	Yong Tang, Xicheng Lu, Bin Xiao 0001	Generating Simplified Regular Expression Signatures for Polymorphic Worms.	ATC	2007	DBLP DOI BibTeX RDF
58	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	PolyAML: a polymorphic aspect-oriented functional programming language.	ICFP	2005	DBLP DOI BibTeX RDF	aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
58	Jakob Rehof, Manuel Fähndrich	Type-base flow analysis: from polymorphic subtyping to CFL-reachability.	POPL	2001	DBLP DOI BibTeX RDF
58	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
51	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	Type Reconstruction in the Presence of Polymorphic Recursion.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification
50	Leonardo de Mello Honório, Michael Vidigal, Luiz E. Souza	Dynamic Polymorphic Agents Scheduling and Execution Using Artificial Immune Systems.	ICARIS	2008	DBLP DOI BibTeX RDF	Polymorphic Agent, IA Planning, multi-agent systems, Aspect-Oriented Program (AOP), Artificial Immune Systems (AIS)
50	Adel Ben Mnaouer, Lei Chen 0015, Chuan Heng Foh, Juki Wirawan Tantra	OPHMR: An Optimized Polymorphic Hybrid Multicast Routing Protocol for MANET.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	Polymorphic protocols, hybrid behavior, MANET, adaptive routing, multicast routing
50	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
50	Jill L. Drury, Holly A. Yanco, Whitney Howell, Brian W. Minten, Jennifer Casper	Changing shape: improving situation awareness for a polymorphic robot.	HRI	2006	DBLP DOI BibTeX RDF	polymorphic robots, shape-shifting robots, evaluation, interaction design, human-robot interaction, situation awareness
50	Udo Payer, Stefan Kraxberger	Polymorphic Code Detection with GA Optimized Markov Models.	Communications and Multimedia Security	2005	DBLP DOI BibTeX RDF	polymorphic shellcode detection, genetic algorithms, optimization, intrusion detection, markov models
50	Udo Payer, Peter Teufl, Mario Lamberger	Hybrid Engine for Polymorphic Shellcode Detection.	DIMVA	2005	DBLP DOI BibTeX RDF	polymorphic shellcode detection, neural networks, Intrusion Detection
50	Samson Abramsky, Marina Lenisa	A Fully Complete PER Model for ML Polymorphic Types.	CSL	2000	DBLP DOI BibTeX RDF	ML-polymorphic types, PER models, full completeness, linear logic, Geometry of Interaction
50	Massimo Maresca	Polymorphic Processor Arrays.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	polymorphic processor arrays, mesh-connected arrays, PPA, low complexity algorithms, PPA programming model, computational complexity, parallel processing, parallel computers, parallel architectures, multiprocessor interconnection networks
50	Hungwen Li, Massimo Maresca	Polymorphic-Torus Architecture for Computer Vision.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	dynamically reconfigurable network, polymorphic-torus network, VLSI efficiency, computer vision, computer vision, parallel algorithms, VLSI, parallel architectures, parallel architectures, hypercube, tree, mesh, SIMD, machine vision, circuit switching, pyramid
49	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
49	Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca	Polymorphic bytecode: compositional compilation for Java-like languages.	POPL	2005	DBLP DOI BibTeX RDF	type systems, compositional analysis
49	Atsushi Ohori, Keishi Tajima	A Polymorphic Calculus for Views and Object Sharing.	PODS	1994	DBLP DOI BibTeX RDF
49	Atsushi Ohori, Kazuhiko Kato	Semantics for Communication Primitives in an Polymorphic Language.	POPL	1993	DBLP DOI BibTeX RDF	ML
49	Paris C. Kanellakis, John C. Mitchell	Polymorphic Unification and ML Typing.	POPL	1989	DBLP DOI BibTeX RDF	ML
49	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
44	Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer	Analyzing network traffic to detect self-decrypting exploit code.	AsiaCCS	2007	DBLP DOI BibTeX RDF	exploit code, static analysis, emulation, detection, polymorphic, decryption
44	Zhichun Li, Manan Sanghi, Yan Chen 0004, Ming-Yang Kao, Brian Chavez	Hamsa: Fast Signature Generation for Zero-day PolymorphicWorms with Provable Attack Resilience.	S&P	2006	DBLP DOI BibTeX RDF
44	Jean-Pierre Jouannaud, Albert Rubio	The Higher-Order Recursive Path Ordering.	LICS	1999	DBLP DOI BibTeX RDF
44	Val Tannen, Thierry Coquand	Extensional Models for Polymorphism.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
41	Jia Xu, Qingsheng Luo, Ningjun Fan, Jiwei Yang	Optimizing Mechanism for a Polymorphic Tracked Robot.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	polymorphic tracked robot, shape-shifting mechanism, design variable, changing rate of the track perimeter
41	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
41	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno	A polymorphic modal type system for lisp-like multi-staged languages.	POPL	2006	DBLP DOI BibTeX RDF	let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
41	Stamatis Vassiliadis, Stephan Wong, Georgi Gaydadjiev, Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte	The MOLEN Polymorphic Processor.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Custom computing machines, reconfigurable microcode, polymorphic processors, FPGA, reconfigurable processors, firmware
41	Dieter Nazareth	The Semantic Treatment of Polymorphic Specification Languages.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, algebraic semantics, axiomatic specification
41	Claudia Fuchs, Wolfgang Förstner	Polymorphic Grouping for Image Segmentation.	ICCV	1995	DBLP DOI BibTeX RDF	polymorphic grouping, inherent deficiencies, low-level feature extraction, real scene complexity, stereo recognition, point extraction, segment extraction, feature adjacency graph, grouping steps, specific domain knowledge, optimal image description, geometric hypotheses validation, ideal image model, computer vision, image segmentation, image segmentation, feature extraction, object recognition, object recognition, stereo image processing, inconsistencies, robust estimation, estimation theory, cell-complex, line extraction, symbolic description, outdoor scenes, exoskeleton
40	Jie Wang 0067, Jianxin Wang 0001, Yu Sheng, Jianer Chen	Polymorphic Worm Detection Using Signatures Based on Neighborhood Relation.	HPCC	2009	DBLP DOI BibTeX RDF
40	Shahar Maoz	Polymorphic Scenario-Based Specification Models: Semantics and Applications.	MoDELS	2009	DBLP DOI BibTeX RDF
40	Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors	Polymorphic embedding of dsls.	GPCE	2008	DBLP DOI BibTeX RDF	pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala
40	Ricardo Chaves, Blagomir Donchev, Georgi Kuzmanov, Leonel Sousa, Stamatis Vassiliadis	BRAM-LUT Tradeoff on a Polymorphic DES Design.	HiPEAC	2008	DBLP DOI BibTeX RDF
40	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
40	Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos	Emulation-Based Detection of Non-self-contained Polymorphic Shellcode.	RAID	2007	DBLP DOI BibTeX RDF
40	Christy Dena	Capturing polymorphic creations: towards ontological heterogeneity and transmodiology.	IE	2007	DBLP BibTeX RDF	hypercomplexity, transdisciplinarity, ontology, integration, convergence, schema, narratology, cross-media, transmedia, ludology, alternate reality games
40	Lajos Nagy, Ryan Stansifer	Polymorphic type inference for the relational algebra in the functional database programming language neon.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
40	Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos	Network-Level Polymorphic Shellcode Detection Using Emulation.	DIMVA	2006	DBLP DOI BibTeX RDF
40	William L. Harrison	A Simple Semantics for Polymorphic Recursion.	APLAS	2005	DBLP DOI BibTeX RDF
40	Anthony Savidis	Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming.	RISE	2005	DBLP DOI BibTeX RDF
40	Lukás Sekanina	Evolutionary Design of Gate-Level Polymorphic Digital Circuits.	EvoWorkshops	2005	DBLP DOI BibTeX RDF
40	Paul Hudak	An Algebraic Theory of Polymorphic Temporal Media.	PADL	2004	DBLP DOI BibTeX RDF
40	Anand Ranganathan, Shiva Chetan, Roy H. Campbell	Mobile Polymorphic Applications in Ubiquitous Computing Environments.	MobiQuitous	2004	DBLP DOI BibTeX RDF
40	Kohei Honda 0001, Nobuko Yoshida	A compositional logic for polymorphic higher-order functions.	PPDP	2004	DBLP DOI BibTeX RDF	compositional logics, polymorphim, types, higher-order functions
40	Cholmin Kim, Soung-uck Lee, Manpyo Hong	Macroscopic Treatment to Polymorphic E-mail Based Viruses.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
40	Jan-Georg Smaus	The Head Condition and Polymorphic Recursion.	FLOPS	2002	DBLP DOI BibTeX RDF
40	Benjamin C. Pierce, Davide Sangiorgi	Behavioral equivalence in the polymorphic pi-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	abstract data types, pi-calculus
40	Dominic Duggan	Dynamic Typing for Distributed Programming in Polymorphic Languages.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parametric polmorphism, dynamic typing, static typing, marshalling
40	Geoffrey Smith 0001, Dennis M. Volpano	Polymorphic typing of Variables and References.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	variables, assignment, references
40	Geoffrey Smith 0001, Dennis M. Volpano	Towards an ML-Style Polymorphic Type System for C.	ESOP	1996	DBLP DOI BibTeX RDF
40	Xavier Leroy	Efficient Data Representation in Polymorphic Languages.	PLILP	1990	DBLP DOI BibTeX RDF
40	Michael Hanus	Horn Clause Programs with Polymorphic Types: Semantics and Resolution.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
40	Val Tannen, Jean H. Gallier	Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.	ICALP	1989	DBLP DOI BibTeX RDF
40	James W. O'Toole Jr., David K. Gifford	Type Reconstruction with First-Class Polymorphic Values.	PLDI	1989	DBLP DOI BibTeX RDF
40	Frank Pfenning	Partial Polymorphic Type Inference and Higher-Order Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
40	Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman	Empty Types in Polymorphic Lambda Calculus.	POPL	1987	DBLP DOI BibTeX RDF
36	Prahlad Fogla, Wenke Lee	Evading network anomaly detection systems: formal reasoning and practical techniques.	CCS	2006	DBLP DOI BibTeX RDF	polymorphic blending attack, anomaly detection, mimicry attack
36	Anthony Savidis	More dynamic imperative languages.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	dynamically extensible semantics, polymorphic pattern programming, runtime inheritance, dynamic languages
36	Neelam Soundarajan, Stephen Fridella	Incremental Reasoning for Object Oriented Systems.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF	Incremental reasoning, Behavior of polymorphic methods, Incremental design
36	Rick van Rein	Specifying Processes with Dynamic Life Cycles.	CAiSE	2000	DBLP DOI BibTeX RDF	polymorphic creation and deletion, communication, object orientation, conceptual modelling, process algebra, life cycles, component composition, state diagrams
35	Herman Geuvers	(In)consistency of Extensions of Higher Order Logic and Type Theory.	TYPES	2006	DBLP DOI BibTeX RDF
35	Lukás Sekanina, Lukás Starecek, Zbysek Gajda, Zdenek Kotásek	Evolution of Multifunctional Combinational Modules Controlled by the Power Supply Voltage.	AHS	2006	DBLP DOI BibTeX RDF
35	Sevan G. Ficici, Ofer Melnik, Jordan B. Pollack	A game-theoretic and dynamical-systems analysis of selection methods in coevolution.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
35	Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich	An open and shut typecase.	TLDI	2005	DBLP DOI BibTeX RDF	intensional type analysis, generativity, reflexivity, ad-hoc polymorphism
35	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Genericity and the pi-Calculus.	FoSSaCS	2003	DBLP DOI BibTeX RDF
35	Patrick Lincoln, John C. Mitchell	Algorithmic Aspects of Type Inference with Subtypes.	POPL	1992	DBLP DOI BibTeX RDF
32	Luis Campo-Giralte, Ricardo Jiménez-Peris, Marta Patiño-Martínez	PolyVaccine: Protecting Web Servers against Zero-Day, Polymorphic and Metamorphic Exploits.	SRDS	2009	DBLP DOI BibTeX RDF	polymorphic malware, metamorphic malware, zero-day malware, web server, vulnerability, exploit
32	Kohei Tatara, Yoshiaki Hori, Kouichi Sakurai	Analyzing Maximum Length of Instruction Sequence in Network Packets for Polymorphic Worm Detection.	MUE	2008	DBLP DOI BibTeX RDF	Polymorphic Worm Detection, Abstract Payload Execution
32	Jedidiah R. Crandall, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong	On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits.	CCS	2005	DBLP DOI BibTeX RDF	metamorphism, polymorphism, symbolic execution, worms, honeypots, polymorphic worms
32	Hungwen Li, Massimo Maresca	Polymorphic-Torus Network.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	polymorphic-torus network, parallel fine-grained, circuit-switching capability, wiring complexity, interpackage wiring, max/min, sum operations, interconnection network, multiprocessor interconnection networks, SIMD, communication bandwidth, Boolean
32	Mehdi Talbi, Mohamed Mejri, Adel Bouhoula	Specification and evaluation of polymorphic shellcode properties using a new temporal logic.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
32	Bai Zhongying, Qin Jiancheng	Webpage Encryption Based on Polymorphic Javascript Algorithm.	IAS	2009	DBLP DOI BibTeX RDF
32	Jeffery E. Bryson	Polymorphic system architecture summary.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	architecture, abstraction, systems architecture, polymorphism
32	Michal Bidlo, Zdenek Vasícek	Cellular Automata-Based Development of Combinational and Polymorphic Circuits: A Comparative Study.	ICES	2008	DBLP DOI BibTeX RDF
32	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
32	Adarsha Rao, Mythri Alle, S. K. Nandy 0001, Ranjani Narayan	Architecture of a polymorphic ASIC for interoperability across multi-mode H.264 decoders.	ASAP	2008	DBLP DOI BibTeX RDF
32	Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher	From Monomorphic to Polymorphic Well-Typings and Beyond.	LOPSTR	2008	DBLP DOI BibTeX RDF
32	Lukás Sekanina	Evolution of Polymorphic Self-checking Circuits.	ICES	2007	DBLP DOI BibTeX RDF
32	Matthew Van Gundy, Hao Chen 0003, Zhendong Su 0001, Giovanni Vigna	Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms.	ACSAC	2007	DBLP DOI BibTeX RDF
32	Nadya Kuzmina, Ruben Gamboa	Dynamic constraint detection for polymorphic behavior.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	automatic specification recovery, class invariants, object constraints, dynamic invariant detection
32	Ki Hun Lee, Yuna Kim, Sung Je Hong, Jong Kim 0001	PolyI-D: Polymorphic Worm Detection Based on Instruction Distribution.	WISA	2006	DBLP DOI BibTeX RDF
32	David L. Heine, Monica S. Lam	Static detection of leaks in polymorphic containers.	ICSE	2006	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks