Search results for "confine"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi	Checking and inferring local non-aliasing.	PLDI	2003	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
30	Markus Hecher, Rafael Kiesel	Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?	CoRR	2024	DBLP DOI BibTeX RDF
30	Markus Hecher, Rafael Kiesel	On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?	AAAI	2024	DBLP DOI BibTeX RDF
30	Maryam Rostamipoor, Seyedhamed Ghavamnia, Michalis Polychronakis	Confine: Fine-grained system call filtering for container attack surface reduction.	Comput. Secur.	2023	DBLP DOI BibTeX RDF
30	Sanket Shukla, Abhijitt Dhavlle, Sai Manoj P. D., Houman Homayoun, Setareh Rafatirad	Iron-Dome: Securing IoT Networked Systems at Runtime by Network and Device Characteristics to Confine Malware Epidemics.	ICCD	2022	DBLP DOI BibTeX RDF
30	Mahnaz Koupaee, Greg Durrett, Nathanael Chambers, Niranjan Balasubramanian	Don't Let Discourse Confine Your Model: Sequence Perturbations for Improved Event Language Models.	ACL/IJCNLP (2)	2021	DBLP DOI BibTeX RDF
30	Neha Sharma, Usha Batra, Sherin Zafar	Confine Ingenious Firefly Algorithm Correlating Water Drop Algorithm for Amassment in Networks.	EAI Endorsed Trans. Scalable Inf. Syst.	2020	DBLP DOI BibTeX RDF
30	Seyedhamed Ghavamnia, Tapti Palit, Azzedine Benameur, Michalis Polychronakis	Confine: Automated System Call Policy Generation for Container Attack Surface Reduction.	RAID	2020	DBLP BibTeX RDF
30	Mercy Osato Omoifo-Irefo	Determination of Safe Work Practiced in a Confine Space Work: A Case Study Research of an Organisation in Onne, Nigeria.	AHFE (18)	2019	DBLP DOI BibTeX RDF
30	Zirak Allaf, Mo Adda, Alexander E. Gegov	ConfMVM: A Hardware-Assisted Model to Confine Malicious VMs.	UKSim	2018	DBLP DOI BibTeX RDF
30	Addie Irawan, M. Aqeel Yaacob, Farah Adiba Azman, Mohd Razali Daud, Akhtar Razul Razali, Sheikh Norhasmadi Sheikh Ali	Vision-based Alignment Control for Mini Forklift System in Confine Area Operation.	ISAMSR	2018	DBLP DOI BibTeX RDF
30	Zirak Allaf	Hardware based approach to confine malicious processes from side channel attack.		2018	RDF
30	Donghai Tian, Dingjun Qi, Li Zhan, Yuhang Yin, Changzhen Hu, Jingfeng Xue	A Practical Method to Confine Sensitive API Invocations on Commodity Hardware.	NSS	2017	DBLP DOI BibTeX RDF
30	Yong Liu 0012	How to confine errors in negative correlation learning.	IJCNN	2016	DBLP DOI BibTeX RDF
30	Jonathan Kirchhoff, Julia Niewiejska, Christoph Fuchs 0003, Christoph Barz, Henning Rogge	Multicast Performance Comparison of SMF and ODMRP Using the CONFINE Testbed.	FiCloud	2015	DBLP DOI BibTeX RDF
30	Paola Falugi, Panagiotis-Aristidis Kountouriotis, Richard B. Vinter	Differential Games Controllers That Confine a System to a Safe Region in the State Space, With Applications to Surge Tank Control.	IEEE Trans. Autom. Control.	2012	DBLP DOI BibTeX RDF
30	Z. Cliffe Schreuders, Tanya Jane McGill, Christian Payne	Empowering End Users to Confine Their Own Applications: The Results of a Usability Study Comparing SELinux, AppArmor, and FBAC-LSM.	ACM Trans. Inf. Syst. Secur.	2011	DBLP DOI BibTeX RDF
30	Stefano Penge, Ugo Longo	Ambienti 'mimetici': varcare il confine tra off- e on-line.	IxD&A	2009	DBLP BibTeX RDF
30	Makoto Yabuki	Confine(s).	SIGGRAPH Computer Animation Festival	2008	DBLP DOI BibTeX RDF
30	Makoto Yabuki	confine(S).	SIGGRAPH ASIA Computer Animation Festival	2008	DBLP DOI BibTeX RDF
30	Anurag Acharya 0001, Mandar Raje	MAPbox: Using Parameterized Behavior Classes to Confine Untrusted Applications.	USENIX Security Symposium	2000	DBLP BibTeX RDF
27	José Manuel Moya, Juan Carlos Vallejo, Pedro Malagón, Álvaro Araujo, Juan-Mariano de Goyeneche, Octavio Nieto-Taladriz	A Scalable Security Framework for Reliable AmI Applications Based on Untrusted Sensors.	WWIC	2009	DBLP DOI BibTeX RDF	security framework for wireless sensor networks, Ambient intelligence, reputation system
13	Mathias Payer, Thomas R. Gross	Fine-grained user-space security through virtualization.	VEE	2011	DBLP DOI BibTeX RDF
13	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
13	Stephanie Balzer, Thomas R. Gross	Modular reasoning about invariants over shared state with interposed data members.	PLPV	2010	DBLP DOI BibTeX RDF	ownership type systems, invariants
13	Ronald Richter, Mathias Eitz, Marc Alexa	Interactively browsing large image collections.	SIGGRAPH Talks	2010	DBLP DOI BibTeX RDF
13	Cristina Vagnoni, Marino Zennaro	The Analysis and the Representation of Balanced Complex Polytopes in 2D.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 52B12, 52B55, 65Y99
13	Lefteris Mamatas, Vassilis Tsaoussidis	Differentiating Services with Noncongestive Queuing (NCQ).	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
13	Michael Smuc, Eva Mayr, Tim Lammarsch, Wolfgang Aigner, Silvia Miksch, Gä Johannes rtner	To Score or Not to Score? Tripling Insights for Participatory Design.	IEEE Computer Graphics and Applications	2009	DBLP DOI BibTeX RDF
13	Ram Krishnan, Ravi S. Sandhu, Jianwei Niu 0001, William H. Winsborough	A conceptual framework for Group-Centric secure information sharing.	AsiaCCS	2009	DBLP DOI BibTeX RDF	models, access control, information sharing
13	Yoshihisa Banno, Yuji Harata, Kouichi Taji, Yoji Uno	Optimal trajectory design for parametric excitation walking.	IROS	2009	DBLP DOI BibTeX RDF
13	Bu-han Zhang, Kai Wang, Chao Yang, Yan Li, Chengxiong Mao, Xin-bo Ruan, Yong-feng Yao, Hong-xian Hu	Two-Phase Dynamic Reactive Power Optimization Based on Improved Genetic Algorithm.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Dynamic reactive power optimization, Two-phase, Improved genetic algorithm, Regulation times, Parallel computing, Dynamic programming
13	Anmol Sheth, Srinivasan Seshan, David Wetherall	Geo-fencing: Confining Wi-Fi Coverage to Physical Boundaries.	Pervasive	2009	DBLP DOI BibTeX RDF
13	Diego Borsetti, Marco Fiore, Claudio Casetti, Carla-Fabiana Chiasserini	When mobile services go local.	MSWiM	2009	DBLP DOI BibTeX RDF	vehicular networks, information dissemination
13	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
13	Tijs Neutens, Nico Van de Weghe, Frank Witlox, Philippe De Maeyer	A three-dimensional network-based space-time prism.	J. Geogr. Syst.	2008	DBLP DOI BibTeX RDF	JEL Classification C60, R40
13	Ta-Yuan Chou, Tung-Kuan Liu, Chung-Nan Lee, Chi-Ruey Jeng	Method of Inequality-Based Multiobjective Genetic Algorithm for Domestic Daily Aircraft Routing.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
13	Amir Bennatan, David Burshtein	On the Fading-Paper Achievable Region of the Fading MIMO Broadcast Channel.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
13	Tzay-Farn Shih, Hsu-Chun Yen	Location-aware routing protocol with dynamic adaptation of request zone for mobile ad hoc networks.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Position-based routing protocol, MANET, GPS, Location-aware
13	John Harrison 0001	Theorem Proving for Verification (Invited Tutorial).	CAV	2008	DBLP DOI BibTeX RDF
13	Nam Hun Park, Won Suk Lee	Memory efficient subspace clustering for online data streams.	IDEAS	2008	DBLP DOI BibTeX RDF	multi-dimensional subspace clustering, data mining, data streams
13	Malte Schilling, Axel Schneider, Holk Cruse, Josef Schmitz	Local control mechanisms in six-legged walking.	IROS	2008	DBLP DOI BibTeX RDF
13	Fu-Wei Chen, Yi-Yu Liu	Wire Sizing Alternative - An Uniform Dual-rail Routing Architecture.	DATE	2008	DBLP DOI BibTeX RDF
13	Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard	Semantics of transactional memory and automatic mutual exclusion.	POPL	2008	DBLP DOI BibTeX RDF	STM, transactional memory, operational semantics
13	Mohammad Taghi Ahmadi, Ismail Saad, Razali Ismail, Vijay K. Arora	The Ultimate Drift Velocity in Two Dimensional Quantum Limit.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Ultimate drift velocity, Quantum limit, Fermi velocity
13	Jiao Feng, Naixue Xiong, Shuoben Bi	X-ray Image Enhancement Based on Wavelet Transform.	APSCC	2008	DBLP DOI BibTeX RDF
13	Zongtao Zhao, Jun Wei 0001, Li Lin, Xiaoning Ding	A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity.	COMPSAC	2008	DBLP DOI BibTeX RDF
13	Hideo Murakami	Fractionally-sampled blind channel estimation for a mobile communication system.	Mobility Conference	2008	DBLP DOI BibTeX RDF	blind channel estimation, block transmission, deterministic estimation, fractionally-sampled estimation
13	Yuan He 0004, Hao Ren, Yunhao Liu 0001, Baijian Yang	On the Reliability of Large-Scale Distributed Systems A Topological View.	ICPP	2008	DBLP DOI BibTeX RDF
13	Alejandra Santoyo-Sanchez, Antonio Ramírez-Treviño, Carlos De Jesus-Vélasquez, Luis I. Aguirre-Salas	Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets.	ETFA	2008	DBLP DOI BibTeX RDF
13	Z. Cliffe Schreuders, Christian Payne	Reusability of Functionality-Based Application Confinement Policy Abstractions.	ICICS	2008	DBLP DOI BibTeX RDF	Functionality-Based Application Confinement (FBAC), Application-Oriented Access Control, Application Confinement, Reusable Policy, Role-Based Access Control (RBAC), Usable Security, Sandbox
13	Chung-Ho Chen, Kuo-Su Hsiao	Scalable Dynamic Instruction Scheduler through Wake-Up Spatial Locality.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	CAM-based wakeup logic, matrix-based wakeup logic, scalable instruction scheduler, wakeup spatial locality, low power, issue logic
13	Hideo Murakami	Deterministic Blind Channel Estimation for a Block Transmission System Using Fractional Sampling and Interpolation.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
13	Jamal Riani, Steven van Beneden, Jan W. M. Bergmans, Andre H. J. Immink	Near-Minimum Bit-Error Rate Equalizer Adaptation for PRML Systems.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
13	James Monaco, Alan C. Bovik, Lawrence K. Cormack	Epipolar Spaces for Active Binocular Vision Systems.	ICIP (6)	2007	DBLP DOI BibTeX RDF
13	Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz	Formal Verification of Business Workflows and Role Based Access Control Systems.	SECURWARE	2007	DBLP DOI BibTeX RDF
13	Lei Jing, Zixue Cheng, Tongjun Huang	Search in Virtual and Study in Real: A Ubiquitous Query/Answer System.	DNIS	2007	DBLP DOI BibTeX RDF	Digital Artifacts, Mapping between virtual and real worlds, Ubiquitous Computing, Ubiquitous Learning, Question and Answer
13	Uma S. Jha	Path Towards Network Convergence and Challenges.	ITC	2007	DBLP DOI BibTeX RDF
13	Ronald Sidharta, Tomohiro Tanikawa, Michitaka Hirose	Real IT: Information Technology in Real Space.	HCI (8)	2007	DBLP DOI BibTeX RDF	virtual reality, augmented reality, information technology, volumetric display, display technology
13	Rami Mangoubi, Christopher Jeffreys, Andrew Copeland, Mukund Desai, Paul Sammak	Non-Invasive Image Based Support Vector Machine Classification of Human Embryonic Stem Cells.	ISBI	2007	DBLP DOI BibTeX RDF
13	Fijoy Vadakkumpadan, Yinlong Sun	Embrioss: Electromagnetic Brain Imaging by Optimization in Spectral Space.	ISBI	2007	DBLP DOI BibTeX RDF
13	Ernest Jamro, Kazimierz Wiatr, Maciej Wielgosz	FPGA Implementation of 64-bit Exponential Function for HPC.	FPL	2007	DBLP DOI BibTeX RDF
13	Yong-Feng Lin, Jason Jen-Yen Chen	OWL-Based Description for Agent Interaction.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
13	Alberto Signoroni, Riccardo Leonardi	Two-way interactive refinement of segmented medical volumes.	ICIAP	2007	DBLP DOI BibTeX RDF
13	Yi Wang, Hairong Chen, Xinyu Yang, Deyun Zhang	Cluster Based Location-Aware Routing Protocol for Large Scale Heterogeneous MANET.	IMSCCS	2007	DBLP DOI BibTeX RDF
13	Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo	Analysis of a Redundant Architecture for Critical Infrastructure Protection.	WADS	2007	DBLP DOI BibTeX RDF
13	Stefan Brecheisen, Hans-Peter Kriegel, Martin Pfeifle	Multi-step density-based clustering.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Approximated clustering, Data mining, Complex objects, Density-based clustering
13	Yossef Steinberg, Neri Merhav	On hierarchical joint source-channel coding with degraded side information.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
13	Emilia Pardo, Miguel A. Rodriguez-Hernandez, Juan José Pérez Solano	Narrowband Interference Suppression Using Undecimated Wavelet Packets in Direct- Sequence Spread-Spectrum Receivers.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
13	Qingmao Hu, Zujun Hou, Wieslaw Lucjan Nowinski	Supervised range-constrained thresholding.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
13	Tomi Westerlund, Juha Plosila	Time Aware Modelling and Analysis of Multiclocked VLSI Systems.	ICFEM	2006	DBLP DOI BibTeX RDF	Timed Action Systems, formal methods, time, GALS
13	Qi He 0002, Kuiyu Chang, Ee-Peng Lim	A Model for Anticipatory Event Detection.	ER	2006	DBLP DOI BibTeX RDF
13	S. B. Prakash, Pamela Abshire, M. Urdaneta, M. Christophersen, Elisabeth Smela	A CMOS potentiostat for control of integrated MEMS actuators.	ISCAS	2006	DBLP DOI BibTeX RDF
13	Riccardo Mariani, Peter Fuhrmann, Boris Vittorelli	Fault-Robust Microcontrollers for Automotive Applications.	IOLTS	2006	DBLP DOI BibTeX RDF
13	Pascal Cathier	Iconic Feature Registration with Sparse Wavelet Coefficients.	MICCAI (2)	2006	DBLP DOI BibTeX RDF
13	Gang Wang, Jun Gao, Yingzhen Liu	The Construction of Evaluation Framework for Virtual Geographic Environment.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
13	Jun-Cheol Park, Geonu Yu	Securing Overlay Activities of Peers in Unstructured P2P Networks.	CIS	2006	DBLP DOI BibTeX RDF
13	Ami Litman, Shiri Moran-Schein	Smooth scheduling under variable rates or the analog-digital confinement game.	SPAA	2006	DBLP DOI BibTeX RDF	EDF schemes, EDF strategies, concurrent confinement games, confinement games, non-concurrent confinement games, smooth scheduling, variable rates, online scheduling, two players games
13	Ruey-Maw Chen, Shih-Tang Lo, Yueh-Min Huang	Solving Multiprocessor Real-Time System Scheduling with Enhanced Competitive Scheme.	ICONIP (2)	2006	DBLP DOI BibTeX RDF	Slack neuron, Scheduling, Hopfield neural network, Competitive learning
13	Jessica J. Fridrich, Miroslav Goljan, David Soukal	Perturbed quantization steganography.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	Perturbed quantization, Security, Adaptive, Steganography, Wet paper code
13	Ceyhun Burak Akgül, Bülent Sankur, Ata Akin	Spectral Analysis of Event-Related Hemodynamic Responses in Functional Near Infrared Spectroscopy.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	cerebrovascular dynamics, time-frequency distribution, oscillary brain dynamics, near infrared spectroscopy
13	Mark L. Adams, Marko Loncar, Axel Scherer, Yueming Qiu	Microfluidic integration of porous photonic crystal nanolasers for chemical sensing.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
13	Maria Bulinska	The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.	Stud Logica	2005	DBLP DOI BibTeX RDF	Lambek, grammar, calculus, context-free
13	Hervé Jégou, Christine Guillemot	Robust multiplexed codes for compression of heterogeneous data.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
13	Daesu Lee, Wonsuk Lee	Finding Maximal Frequent Itemsets over Online Data Streams Adaptively.	ICDM	2005	DBLP DOI BibTeX RDF
13	Thorsten Staake, Frédéric Thiesse, Elgar Fleisch	Extending the EPC network: the potential of RFID in anti-counterfeiting.	SAC	2005	DBLP DOI BibTeX RDF	track & trace, authentication, RFID, counterfeiting
13	Dennis E. Shasha	Computing for biologists: lessons from some successful case studies.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
13	Justice I. Akpan, Roger J. Brooks	Experimental investigation of the impacts of virtual reality on discrete-event simulation.	WSC	2005	DBLP DOI BibTeX RDF
13	Lin Qiao, Weitong Huang, Qi Wen, Xiaolong Fu	An Integrated Information Retrieval Support System for Multiple Distributed Heterogeneous Cross-Lingual Information Sources.	ICCNMC	2005	DBLP DOI BibTeX RDF
13	Zhenyu Qi, Hang Li, Sheldon X.-D. Tan, Lifeng Wu, Yici Cai, Xianlong Hong	Fast Decap Allocation Algorithm For Robust On-Chip Power Delivery.	ISQED	2005	DBLP DOI BibTeX RDF
13	Ramachandran Vaidyanathan, Karthik Sethuraman	On Mapping Multidimensional Weak Tori on Optical Slab Waveguides.	ICPP	2005	DBLP DOI BibTeX RDF
13	Jan A. Bergstra, Cornelis A. Middelburg	Strong Splitting Bisimulation Equivalence.	CALCO	2005	DBLP DOI BibTeX RDF
13	Simon Sheu, Jia-Rong Wu	GC*-tree: a generic index for perceptual similarity search.	ITRE	2005	DBLP DOI BibTeX RDF
13	Yun-Peng Chiu, Chin-Laung Lei, Chun-Ying Huang	Secure Multicast Using Proxy Encryption.	ICICS	2005	DBLP DOI BibTeX RDF	multicast key management, cipher sequences, proxy encryption, ElGamal cryptosystem, Secure multicast
13	Nam Hun Park, Won Suk Lee	Statistical grid-based clustering over data streams.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF
13	Valerio Pascucci, Kree Cole-McLaughlin	Parallel Computation of the Topology of Level Sets.	Algorithmica	2004	DBLP DOI BibTeX RDF	Topology, Level sets, Isosurfaces, Betti numbers, Genus
13	Stefan Brecheisen, Hans-Peter Kriegel, Martin Pfeifle	Efficient Density-Based Clustering of Complex Objects.	ICDM	2004	DBLP DOI BibTeX RDF
13	Qiang Chen 0004, Yu-jun Sun, De-Shen Xia	A novel segmentation method of handwritten Chinese number character strings.	ICARCV	2004	DBLP DOI BibTeX RDF
13	Simon S. Lam, Huaiyu Liu	Failure recovery for structured P2P networks: protocol design and performance evaluation.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	hypercube routing, k-consistency, sustainable churn rate, peer-to-peer networks, failure recovery
13	Erik Buchmann, Klemens Böhm	How to Run Experiments with Large Peer-to-Peer Data Structure.	IPDPS	2004	DBLP DOI BibTeX RDF