Search results for "Patching"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Shahram Ghandeharizadeh, Andrew Goodney, Chetan Sharma, Chris Bissell, Felipe Carino, Naveen Nannapaneni, Alex Wergeles, Aber Whitcomb	Taming the storage dragon: the adventures of hoTMaN.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	data availability, storage area networks
12	Wan-Ping Lee, Diana Marculescu, Yao-Wen Chang	Post-floorplanning power/ground ring synthesis for multiple-supply-voltage designs.	ISPD	2009	DBLP DOI BibTeX RDF	multiple-supply voltage designs, physical design, floorplanning, vlsi
12	George Tzanetakis	Music analysis, retrieval and synthesis of audio signals MARSYAS.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	music information retrieval, sound analysis
12	Jinsik Kim, Pai H. Chou	Remote progressive firmware update for flash-based networked embedded systems.	ISLPED	2009	DBLP DOI BibTeX RDF	clycomatic complexity, progressive code update
12	Kenji Hori, Kiyohito Yoshihara	Proposal and Evaluation of Data Reduction Method for Tracing Based Pre-patch Impact Analysis.	APNOMS	2009	DBLP DOI BibTeX RDF	Software Patch Management, Kernel-Tracing
12	Shuo Chen, Ziqing Mao, Yi-Min Wang, Ming Zhang	Pretty-Bad-Proxy: An Overlooked Adversary in Browsers' HTTPS Deployments.	SP	2009	DBLP DOI BibTeX RDF
12	Ilya Wagner, Valeria Bertacco, Todd M. Austin	Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
12	Inger Anne Tøndel, Martin Gilje Jaatun, Per Håkon Meland	Security Requirements for the Rest of Us: A Survey.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
12	André Berger, Vincenzo Bonifaci, Fabrizio Grandoni 0001, Guido Schäfer	Budgeted Matching and Budgeted Matroid Intersection Via the Gasoline Puzzle.	IPCO	2008	DBLP DOI BibTeX RDF
12	Vijay Sundaresan, Mark G. Stoodley, Pramod Ramarao	Removing redundancy via exception check motion.	CGO	2008	DBLP DOI BibTeX RDF	java, just-in-time compilation, partial redundancy elimination
12	Liang Xie 0002, Hui Song, Trent Jaeger, Sencun Zhu	A systematic approach for cell-phone worm containment.	WWW	2008	DBLP DOI BibTeX RDF	cell phone, patch, turing test
12	Elie Bursztein	NetQi: A Model Checker for Anticipation Game.	ATVA	2008	DBLP DOI BibTeX RDF
12	Jae Kyu Lee, Seong-Jin Ahn 0001, Jin-Wook Chung	Visibility-Based Test Scene Understanding by Real Plane Search.	ISVC (2)	2008	DBLP DOI BibTeX RDF
12	Kandha Sankarpandian, Travis Little, W. Keith Edwards	Talc: using desktop graffiti to fight software vulnerability.	CHI	2008	DBLP DOI BibTeX RDF	usable security, internet security, software vulnerabilities, security framework, patch management, home users, graffiti
12	Yunpeng Chai, Zhihui Du, Sanli Li	A New Scheduling Algorithm for Distributed Streaming Media System Based on Multicast.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
12	Bastian Braun	SAVE: static analysis on versioning entities.	SESS	2008	DBLP DOI BibTeX RDF	static analysis, version control system, incremental analysis, secure software development
12	Lin-Wang Wang, Byounghak Lee, Hongzhang Shan, Zhengji Zhao, Juan C. Meza, Erich Strohmaier, David H. Bailey	Linearly scaling 3D fragment method for large-scale electronic structure calculations.	SC	2008	DBLP DOI BibTeX RDF
12	Sebastian Rönnau, Christian Pauli, Uwe M. Borghoff	Merging changes in XML documents using reliable context fingerprints.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	XML diff, XML patch, office applications, CSCW, fingerprint, version control
12	Charles Reis, John Dunagan, Helen J. Wang, Opher Dubrovsky, Saher Esmeir	BrowserShield: Vulnerability-driven filtering of dynamic HTML.	ACM Trans. Web	2007	DBLP DOI BibTeX RDF	code rewriting, JavaScript, Web browser, vulnerability
12	Jonathan P. Caulkins, Eric D. Hough, Nancy R. Mead, Hassan Osman	Optimizing Investments in Security Countermeasures: A Practical Tool for Fixed Budgets.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
12	Ioanna Samprakou, Christos Bouras, Theodore Karoubalis	Improvements on "IP - IAPP": A fast IP handoff protocol for IEEE 802.11 wireless and mobile clients.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	IAPP, IP connectivity, IP mobility, Fast handoff, 802.11 Wireless LANs
12	Emre Can Sezer, Peng Ning, Chongkyung Kil, Jun Xu 0003	Memsherlock: an automated debugger for unknown memory corruption vulnerabilities.	CCS	2007	DBLP DOI BibTeX RDF	memory corruption, debugging, vulnerability analysis
12	Anh-Quynh Nguyen, Yoshiyasu Takefuji	A novel approach for a file-system integrity monitor tool of Xen virtual machine.	AsiaCCS	2007	DBLP DOI BibTeX RDF	Xen virtual machine, intrusion detection, Linux, rootkit
12	Ilya Wagner, Valeria Bertacco	Engineering trust with semantic guardians.	DATE	2007	DBLP DOI BibTeX RDF
12	Luke Bellamy, Damien Hutchinson, Jason Wells	User Perceptions and Acceptance of Benevolent Worms -- A Matter of Fear?	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
12	Jeffrey Mark Siskind, Barak A. Pearlmutter	First-class nonstandard interpretations by opening closures.	POPL	2007	DBLP DOI BibTeX RDF	lambda lifting, referential transparency
12	Martin Boesgaard, Erik Zenner	Protecting Online Transactions with Unique Embedded Key Generators.	ARES	2007	DBLP DOI BibTeX RDF
12	Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey	Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.	HPCC	2007	DBLP DOI BibTeX RDF
12	Leandro Souza, Fernando Cores, Xiaoyuan Yang 0001, Ana Ripoll	DynaPeer: A Dynamic Peer-to-Peer Based Delivery Scheme for VoD Systems.	Euro-Par	2007	DBLP DOI BibTeX RDF	On-Demand Media Streaming, Internet VoD, Peer-to-Peer systems
12	Amitesh Kumar, Alan M. Shih, Yasushi Ito, Douglas H. Ross, Bharat K. Soni	A Hole-filling Algorithm Using Non-uniform Rational B-splines.	IMR	2007	DBLP DOI BibTeX RDF	Geometry Repair, Watertight, CSM, Edge Swapping, Delaunay Triangulation, CFD, Mesh Generation, NURBS, Hole Filling
12	Christos Efstratiou, Nigel Davies 0001, Gerd Kortuem, Joe Finney, Rob Hooper, Mark Lowton	Experiences of designing and deploying intelligent sensor nodes to monitor hand-arm vibrations in the field.	MobiSys	2007	DBLP DOI BibTeX RDF	hand-arm vibration, health and safety, ad-hoc networks, embedded systems, deployment, mobile systems
12	Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai	Locating Regression Bugs.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
12	Yue Chen, Barry W. Boehm, Luke Sheppard	Value Driven Security Threat Modeling Based on Attack Path Analysis.	HICSS	2007	DBLP DOI BibTeX RDF
12	Ram Dantu, Prakash Kolan, Robert Akl, Kall Loper	Classification of Attributes and Behavior in Risk Management Using Bayesian Networks.	ISI	2007	DBLP DOI BibTeX RDF
12	Fei Xie, Kien A. Hua, Ning Jiang	Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks.	LCN	2007	DBLP DOI BibTeX RDF	Simulation, Algorithm, Wireless Mesh networks, VoD, WiMax, Cross-Layer Design
12	Simon P. Chung, Aloysius K. Mok	The LAIDS/LIDS Framework for Systematic IPS Design.	IWIA	2006	DBLP DOI BibTeX RDF
12	Maziar M. Nekovee	Modeling the Spread of Worm Epidemics in Vehicular Ad Hoc Networks.	VTC Spring	2006	DBLP DOI BibTeX RDF
12	Zhiqiang Lin, Bing Mao, Li Xie 0001	A Practical Framework for Dynamically Immunizing Software Security Vulnerabilities.	ARES	2006	DBLP DOI BibTeX RDF
12	Kexiang Wang, Ying He 0001, Xiaohu Guo, Hong Qin 0001	Spline Thin-Shell Simulation of Manifold Surfaces.	Computer Graphics International	2006	DBLP DOI BibTeX RDF
12	Rongrong Ni, Qiuqi Ruan	Region of Interest Watermarking Based on Fractal Dimension.	ICPR (3)	2006	DBLP DOI BibTeX RDF
12	Keelan Cleary, Melissa E. Rycroft	Putting out the fire before it starts: proactive technology support.	SIGUCCS	2006	DBLP DOI BibTeX RDF	client communication, remote detection, backup, prevention
12	Chase Douglas, Vijay S. Pai	Seekable sockets: a mechanism to reduce copy overheads in TCP-based messaging.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Xiaoyuan Yang 0001, Porfidio Hernández, Fernando Cores, Leandro Souza, Ana Ripoll, Remo Suppi, Emilio Luque	DVoDP2P: distributed P2P assisted multicast VoD architecture.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Xiaosong Ma, Vincent W. Freeh, Tao Yang, Sudharshan Vazhkudai, Tyler A. Simon, Stephen L. Scott	Coupling prefix caching and collective downloads for remote dataset access.	ICS	2006	DBLP DOI BibTeX RDF
12	Muthusrinivasan Muthuprasanna, Ke Wei, Suraj Kothari	Eliminating SQL Injection Attacks - A Transparent Defense Mechanism.	WSE	2006	DBLP DOI BibTeX RDF
12	Pavlos Stavrou, Pavlos Mavridis, Georgios Papaioannou 0001, Georgios Passalis, Theoharis Theoharis	3D Object Repair Using 2D Algorithms.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
12	Andrew Ireland	Towards Automatic Assertion Refinement for Separation Logic.	ASE	2006	DBLP DOI BibTeX RDF
12	Ying He 0001, Kexiang Wang, Hongyu Wang 0002, Xianfeng Gu, Hong Qin 0001	Manifold T-Spline.	GMP	2006	DBLP DOI BibTeX RDF
12	Xinwen Fu, Wei Yu 0002, Dan Cheng, Xuejun Tan, Kevin Streff, Steve Graham	On Recognizing Virtual Honeypots and Countermeasures.	DASC	2006	DBLP DOI BibTeX RDF
12	Kyle Ingols, Richard Lippmann, Keith Piwowarski	Practical Attack Graph Generation for Network Defense.	ACSAC	2006	DBLP DOI BibTeX RDF
12	Mário Guimarães	New challenges in teaching database security.	InfoSecCD	2006	DBLP DOI BibTeX RDF	data mining, DBMS, data warehouse, MLS, SQL injection, DBA
12	Jack Y. B. Lee	Channel folding - an algorithm to improve efficiency of multicast video-on-demand systems.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
12	Eric Rescorla	Is Finding Security Holes a Good Idea?	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	blackhat, whitehat, software patches, vulnerability disclosure
12	Michael D. Bailey, Evan Cooke, Farnam Jahanian, David Watson 0001, Jose Nazario	The Blaster Worm: Then and Now.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	Blaster, Welchia, MSBlast, worm, Windows
12	Minh X. Nguyen, Xiaoru Yuan, Baoquan Chen	Geometry completion and detail generation by texture synthesis.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	Geometry image and Mesh editing, Surface completion, Partial differential equation, Detail preservation
12	Vladimir G. Deineko, George Steiner, Zhihui Xue	Robotic-Cell Scheduling: Special Polynomially Solvable Cases of the Traveling Salesman Problem on Permuted Monge Matrices.	J. Comb. Optim.	2005	DBLP DOI BibTeX RDF	robotic-cell scheduling, permuted Monge matrix, traveling salesman problem, polynomial-time algorithm
12	Cheng Huang, Paul Salama	Error concealment for shape in MPEG-4 object-based video coding.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
12	Eelco Dolstra	Efficient Upgrading in a Purely Functional Component Deployment Model.	CBSE	2005	DBLP DOI BibTeX RDF
12	Janice G. El-Bayoumi	Leveraging student owned laptops on campus: I can't connect to the network. can you help me?	SIGUCCS	2005	DBLP DOI BibTeX RDF	security, support, help desk, customer service, laptops
12	Shaya Potter, Jason Nieh	AutoPod: Unscheduled System Updates with Zero Data Loss.	ICAC	2005	DBLP DOI BibTeX RDF
12	Marcus Vinicius de Melo Rocha, Marcelo de Almeida Maia, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos	Scalable media streaming to interactive users.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	interactivity, workload model, scalable streaming
12	Masato Uchida	Modeling Viral Spread by Random Scanning and Its Relationship with the Epidemiological Model.	IPDPS	2005	DBLP DOI BibTeX RDF
12	Ying He 0001, Xianfeng Gu, Hong Qin 0001	Rational Spherical Splines for Genus Zero Shape Modeling.	SMI	2005	DBLP DOI BibTeX RDF
12	Dan Wu, Dongyang Long, Changji Wang, Zhanpeng Guan	Modeling and Analysis of Worm and Killer-Worm Propagation Using the Divide-and-Conquer Strategy.	ICA3PP	2005	DBLP DOI BibTeX RDF
12	Ji Young Choi, Chung Gu Kang 0001, Yong-Suk Kim, Kyeong Hur	Neighbor Node Discovery Algorithm for Energy-Efficient Clustering in Ubiquitious Sensor Networks.	EUC Workshops	2005	DBLP DOI BibTeX RDF
12	Ram Dantu, Prakash Kolan	Risk Management Using Behavior Based Bayesian Networks.	ISI	2005	DBLP DOI BibTeX RDF
12	Ruo Ando, Yoshiyasu Takefuji	Self Debugging Mode for Patch-Independent Nullification of Unknown Remote Process Infection.	CANS	2005	DBLP DOI BibTeX RDF	self-debugging mode, real-time nullification, debug register, improved debug exception handler, branchIP recorder
12	Xianfeng Gu, Ying He 0001, Hong Qin 0001	Manifold splines.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	affine atlas, conformal structure, manifold spline, geometric modeling, riemann surface
12	Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier	Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.	FORMATS	2005	DBLP DOI BibTeX RDF
12	Wei Shu, Min-You Wu	Resource Requirements of Closed-Loop Video Delivery Services.	IEEE Multim.	2004	DBLP DOI BibTeX RDF
12	Qing Huo Liu, Candong Cheng, Hisham Z. Massoud	The spectral grid method: a novel fast Schrodinger-equation solver for semiconductor nanodevice simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
12	Bing Wang 0001, Subhabrata Sen, Micah Adler, Donald F. Towsley	Optimal proxy cache allocation for efficient streaming media distribution.	IEEE Trans. Multim.	2004	DBLP DOI BibTeX RDF
12	Ashton Applewhite, Alan Davis	In the News.	IEEE Softw.	2004	DBLP DOI BibTeX RDF
12	Giuliano Antoniol, Massimiliano Di Penta, Gianluca Masone, Umberto Villano	Compiler Hacking for Source Code Analysis.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	source code analysis tools, XML, gcc, GXL
12	Soo-Chang Pei, Yi-Chong Zeng, Ching-Hua Chang	Virtual restoration of ancient Chinese paintings using color contrast enhancement and lacuna texture synthesis.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
12	Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo	Verifying Web Applications Using Bounded Model Checking.	DSN	2004	DBLP DOI BibTeX RDF
12	Syed A. Khayam, Hayder Radha	Analyzing the spread of active worms over VANET.	Vehicular Ad Hoc Networks	2004	DBLP DOI BibTeX RDF	stochastic modeling, VANET, epidemiology, computer worms
12	Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen	Invariant Patterns for Program Reasoning.	MICAI	2004	DBLP DOI BibTeX RDF
12	Hiroki Mano, Akihiro Minagawa, Norio Tagawa	Factorization-Based Planar Mapping Method for Generating Intermediate Views.	ICPR (2)	2004	DBLP DOI BibTeX RDF
12	Leonardo Bidese de Pinho, Claudio Luis de Amorim	A Practical Performance Analysis of Stream Reuse Techniques in Peer-to-Peer VoD Systems.	Euro-Par	2004	DBLP DOI BibTeX RDF
12	Tiecheng Liu, Srihari Nelakuditi	Disruption-tolerant content-aware video streaming.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	disruption-tolerant streaming, network disruption, video key frames, video streaming
12	ShaoHua Qin, Zimu Li, Cai Qingsong, Jianping Hu	Segment-Based Adaptive Caching for Streaming Media Delivery on the Internet.	WCW	2004	DBLP DOI BibTeX RDF	prefix caching, streaming media delivery, multicast, Streaming media, proxy caching
12	Ram Dantu, Kall Loper, Prakash Kolan	Risk Management using Behavior based Attack Graphs.	ITCC (1)	2004	DBLP DOI BibTeX RDF
12	Juan Segarra, Vicent Cholvi	On-Line Advancement of Transmission Plans in Video-on-Demand.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
12	Ying He 0001, Hong Qin 0001	Surface Reconstruction with Triangular B-splines.	GMP	2004	DBLP DOI BibTeX RDF
12	Benoît Chevallier-Mames, David Naccache, Pascal Paillier, David Pointcheval	How to Disembed a Program?	CHES	2004	DBLP DOI BibTeX RDF
12	Raúl Monroy	Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	faulty specifications, program synthesis/transformation, abduction, proof planning
12	Michael Franz	Safe Code - It's Not Just for Applets Anymore.	JMLC	2003	DBLP DOI BibTeX RDF
12	Bahjat Qazzaz, Remo Suppi, Fernando Cores, Ana Ripoll, Porfidio Hernández, Emilio Luque	Providing Interactive Video on Demand Services in Distributed Architecture.	EUROMICRO	2003	DBLP DOI BibTeX RDF
12	P. H. Chan, Jack Y. B. Lee	An Efficient Disk-Array-Based Server Design for a Multicast Video Streaming System.	ASAP	2003	DBLP DOI BibTeX RDF
12	Achim G. Hoffmann, Son Bao Pham	Towards topic-based summarization for interactive document viewing.	K-CAP	2003	DBLP DOI BibTeX RDF	natural language processing, knowledge acquisition
12	Wenzhang Zhu, Cho-Li Wang, Francis C. M. Lau 0001	Lightweight Transparent Java Thread Migration for Distributed JVM.	ICPP	2003	DBLP DOI BibTeX RDF	distributed JVM, Java thread migration, mobility, multi-threading, JIT compiler
12	Celia Pearce, Robert Nideffer, Eddo Stern, Anne-Marie Schleiner, Brody Condon	Game art.	SI3D	2003	DBLP DOI BibTeX RDF
12	Kok-Why Ng, Ya-Ping Wong, Son-Ni Ho	Improvement in Decimation of Triangle Meshes for Level of Detail.	GMAG	2003	DBLP DOI BibTeX RDF
12	Francis Alexandre, Khaled Bsaïes, Moussa Demba	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.	LOPSTR	2003	DBLP DOI BibTeX RDF	Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
12	Greg Hoglund, Gary McGraw	Point/Counterpoint: Security Band-Aids: More Cost-Effective than "Secure" Coding / Building Secure Software: Better than Protecting Bad Software.	IEEE Softw.	2002	DBLP DOI BibTeX RDF
12	Tao Ju, Frank Losasso, Scott Schaefer, Joe D. Warren	Dual contouring of hermite data.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	crack prevention, polyhedral simplification, quadratic error functions, contouring, implicit functions
12	Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher	A New Facility for Dynamic Control of Program Execution: DELI.	EMSOFT	2002	DBLP DOI BibTeX RDF
12	Meng Guo 0005, Mostafa H. Ammar, Ellen W. Zegura	Selecting among replicated batching video-on-demand servers.	NOSSDAV	2002	DBLP DOI BibTeX RDF	video on demand, batching, server selection
12	Dimitris Vyzovitis, Andrew Lippman	A Multicast Transport Protocol for Cooperative Media Distribution.	ICNP	2002	DBLP DOI BibTeX RDF