Search results for "guards"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Eyüp Serdar Ayaz, Alper Üngör	An Iterative Refinement Scheme of Dominating Guards and Witnesses for Art Gallery Problems.	CCCG	2016	DBLP BibTeX RDF
20	Mark G. Arnold, Ed Chester, John R. Cowles	Guarding the guards: Enhancing LNS performance for common applications.	ASAP	2016	DBLP DOI BibTeX RDF
20	Saeed Mehrabi 0001	Guarding the Vertices of an Orthogonal Terrain using Vertex Guards.	CoRR	2015	DBLP BibTeX RDF
20	Waseem Abbas, Sajal Bhatia, Xenofon D. Koutsoukos	Guarding Networks Through Heterogeneous Mobile Guards.	CoRR	2015	DBLP BibTeX RDF
20	Waseem Abbas, Sajal Bhatia, Xenofon D. Koutsoukos	Guarding networks through heterogeneous mobile guards.	ACC	2015	DBLP DOI BibTeX RDF
20	Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones	GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.	ICFP	2015	DBLP DOI BibTeX RDF
20	Xuehou Tan, Bo Jiang 0004	Optimum sweeps of simple polygons with two guards.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
20	Grady Bullington, Linda Eroh, Steven J. Winters	Prisoners and Guards on Rectangular Boards.	J. Integer Seq.	2014	DBLP BibTeX RDF
20	Xuehou Tan, Bo Jiang 0004	Minimization of the maximum distance between the two guards patrolling a polygonal region.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
20	Luca Spalazzi, Francesco Spegni	Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version).	CoRR	2014	DBLP BibTeX RDF
20	Samuel Coogan 0001, Murat Arcak	A computational approach to synthesizing guards for hybrid systems.	Syst. Control. Lett.	2014	DBLP DOI BibTeX RDF
20	Luca Spalazzi, Francesco Spegni	Parameterized Model-Checking of Timed Systems with Conjunctive Guards.	VSTTE	2014	DBLP DOI BibTeX RDF
20	André A. Osti, Bruno Alves Pereira Botelho, Nelson Uto	Implementation aspects of software guards: A case study.	ICITST	2014	DBLP DOI BibTeX RDF
20	Juan Francisco de Paz, Gabriel Villarrubia, Javier Bajo, Gabriel Sirvent, Tiancheng Li	Indoor Location System for Security Guards in Subway Stations.	PAAMS (Special Sessions)	2014	DBLP DOI BibTeX RDF
20	Javier Cano, Csaba D. Tóth, Jorge Urrutia	A tight bound for point guards in piecewise convex art galleries.	Comput. Geom.	2013	DBLP DOI BibTeX RDF
20	Dorit Borrmann, Pedro J. de Rezende, Cid C. de Souza, Sándor P. Fekete, Stephan Friedrichs, Alexander Kröller, Andreas Nüchter, Christiane Schmidt 0001, Davi C. Tozoni	Point guards and point clouds: solving general art gallery problems.	SoCG	2013	DBLP DOI BibTeX RDF
20	Yi-Zong Ou, C. M. Huang, C. T. Hu, Jane W.-S. Liu, Edward T.-H. Chu, Chi-Sheng Shih 0001	An Asynchronous Message Delivery Service for iGaDs (Intelligent Guards Against Disasters).	IMIS	2013	DBLP DOI BibTeX RDF
20	Michael Hanspach, Jörg Keller 0001	In Guards We Trust: Security and Privacy in Operating Systems Revisited.	SocialCom	2013	DBLP DOI BibTeX RDF
20	Chuzo Iwamoto, Junichi Kishi, Kenichi Morita	Lower Bound of Face Guards of Polyhedral Terrains.	J. Inf. Process.	2012	DBLP DOI BibTeX RDF
20	Elias J. Willemse, Johan W. Joubert	Applying min-max k postmen problems to the routing of security guards.	J. Oper. Res. Soc.	2012	DBLP DOI BibTeX RDF
20	Chuzo Iwamoto, Yusuke Kitagaki, Kenichi Morita	Finding the Minimum Number of Face Guards is NP-Hard.	IEICE Trans. Inf. Syst.	2012	DBLP DOI BibTeX RDF
20	Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi 0001	Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories.	J. Satisf. Boolean Model. Comput.	2012	DBLP DOI BibTeX RDF
20	Sarah Cannon, Diane L. Souvaine, Andrew Winslow	Hidden Mobile Guards in Simple Polygons	CoRR	2012	DBLP BibTeX RDF
20	David Schneider 0001, Carl Friedrich Bolz	The efficient handling of guards in the design of RPython's tracing JIT.	VMIL@SPLASH	2012	DBLP DOI BibTeX RDF
20	Tariq Elahi, Kevin S. Bauer, Mashael AlSabah, Roger Dingledine, Ian Goldberg	Changing of the guards: a framework for understanding and improving entry guard selection in tor.	WPES	2012	DBLP DOI BibTeX RDF
20	Sarah Cannon, Diane L. Souvaine, Andrew Winslow	Hidden Mobile Guards in Simple Polygons.	CCCG	2012	DBLP BibTeX RDF
20	Javier Cano, Csaba D. Tóth, Jorge Urrutia	Edge Guards for Polyhedra in 3-Space.	CCCG	2012	DBLP BibTeX RDF
20	Amotz Bar-Noy, Ben Baumer, Dror Rawitz	Changing of the Guards: Strip Cover with Duty Cycling.	SIROCCO	2012	DBLP DOI BibTeX RDF
20	Xuehou Tan, Bo Jiang 0004	Minimization of the Maximum Distance between the Two Guards Patrolling a Polygonal Region.	FAW-AAIM	2012	DBLP DOI BibTeX RDF
20	Marcelo C. Couto, Pedro J. de Rezende, Cid C. de Souza	An exact algorithm for minimizing vertex guards on art galleries.	Int. Trans. Oper. Res.	2011	DBLP DOI BibTeX RDF
20	Menelaos I. Karavelas	Guarding curvilinear art galleries with edge or mobile guards via 2-dominance of triangulation graphs.	Comput. Geom.	2011	DBLP DOI BibTeX RDF
20	Bo An 0001, James Pita, Eric Anyung Shieh, Milind Tambe, Christopher Kiekintveld, Janusz Marecki	GUARDS and PROTECT: next generation applications of security games.	SIGecom Exch.	2011	DBLP DOI BibTeX RDF
20	Sajed Miremadi, Knut Åkesson, Bengt Lennartson	Symbolic Computation of Reduced Guards in Supervisory Control.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
20	Csaba D. Tóth, Godfried T. Toussaint, Andrew Winslow	Open Guard Edges and Edge Guards in Simple Polygons.	EGC	2011	DBLP DOI BibTeX RDF
20	Thomas Colcombet, Clemens Ley, Gabriele Puppis	On the Use of Guards for Logics with Data.	MFCS	2011	DBLP DOI BibTeX RDF
20	Csaba D. Tóth, Godfried T. Toussaint, Andrew Winslow	Open Guard Edges and Edge Guards in Simple Polygons.	CCCG	2011	DBLP BibTeX RDF
20	James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald	GUARDS - Innovative Application of Game Theory for National Airport Security.	IJCAI	2011	DBLP DOI BibTeX RDF
20	James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald	GUARDS: game theoretic security allocation on a national scale.	AAMAS	2011	DBLP BibTeX RDF
20	Yoav Amit, Joseph S. B. Mitchell, Eli Packer	Locating Guards for Visibility Coverage of Polygons.	Int. J. Comput. Geom. Appl.	2010	DBLP DOI BibTeX RDF
20	Jeanette Heidenberg, Ivan Porres	Metrics Functions for Kanban Guards.	ECBS	2010	DBLP DOI BibTeX RDF	software metrics, agile methods, autonomation
20	Val Pinciu	Pixel Guards in Polyominoes.	CTW	2010	DBLP BibTeX RDF
20	Eugen Leontie, Olga Gelbart, Bhagirath Narahari, Rahul Simha	Detecting memory spoofing in secure embedded systems using cache-aware FPGA guards.	IAS	2010	DBLP DOI BibTeX RDF
20	Xiangyuan Dong, Shuqing Guo	Calibration Model for Electrical Capacitance Tomography Sensor with Thin Radial Guards.	ISIA	2010	DBLP DOI BibTeX RDF
20	Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel	Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper).	RV	2010	DBLP DOI BibTeX RDF
20	Xuehou Tan, Bo Jiang 0004	Optimum Sweeps of Simple Polygons with Two Guards.	FAW	2010	DBLP DOI BibTeX RDF
20	Florian Nothdurft, Gregor Bertrand, Tobias Heinroth, Wolfgang Minker	GEEDI - Guards for Emotional and Explanatory DIalogues.	Intelligent Environments	2010	DBLP DOI BibTeX RDF
20	Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng	Termination of Loop Programs with Polynomial Guards.	ICCSA (4)	2010	DBLP DOI BibTeX RDF
20	Prosenjit Bose	A note on the lower bound of edge guards of polyhedral terrains.	Int. J. Comput. Math.	2009	DBLP DOI BibTeX RDF
20	Menelaos I. Karavelas, Csaba D. Tóth, Elias P. Tsigaridas	Guarding curvilinear art galleries with vertex or point guards.	Comput. Geom.	2009	DBLP DOI BibTeX RDF
20	Tobias Christ, Michael Hoffmann 0001	Wireless Localization with Vertex Guards is NP-hard.	CCCG	2009	DBLP BibTeX RDF
20	Iain Phillips 0001	CCS with priority guards.	J. Log. Algebraic Methods Program.	2008	DBLP DOI BibTeX RDF
20	Menelaos I. Karavelas, Elias P. Tsigaridas	Guarding curvilinear art galleries with vertex or point guards	CoRR	2008	DBLP BibTeX RDF
20	Menelaos I. Karavelas	Guarding curvilinear art galleries with edge or mobile guards via 2-dominance of triangulation graphs	CoRR	2008	DBLP BibTeX RDF
20	Ward Douglas Maurer	Partially defined computer instructions and guards.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
20	Stephen Kloder	Barrier Coverage: Deploying Robot Guards to Prevent Intrusion		2008	RDF
20	Xuehou Tan	Sweeping simple polygons with the minimum number of chain guards.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
20	Adrian Kosowski, Michal Malafiejski, Pawel Zylinski	Cooperative mobile guards in grids.	Comput. Geom.	2007	DBLP DOI BibTeX RDF
20	Stephen Kloder, Seth Hutchinson 0001	Barrier Coverage for Variable Bounded-Range Line-of-Sight Guards.	ICRA	2007	DBLP DOI BibTeX RDF
20	Yoav Amit, Joseph S. B. Mitchell, Eli Packer	Locating Guards for Visibility Coverage of Polygons.	ALENEX	2007	DBLP DOI BibTeX RDF
20	Deepak D'Souza, Nicolas Tabareau	On timed automata with input-determined guards	CoRR	2006	DBLP BibTeX RDF
20	Emanuel Kieronski	On the complexity of the two-variable guarded fragment with transitive guards.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
20	Anurag Ganguli, Jorge Cortés 0001, Francesco Bullo	Distributed deployment of asynchronous guards in art galleries.	ACC	2006	DBLP DOI BibTeX RDF
20	Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula	XFI: Software Guards for System Address Spaces.	OSDI	2006	DBLP BibTeX RDF
20	Igor V. Kotenko, Alexander Ulanov	Agent Teams in Cyberspace: Security Guards in the Global Internet.	CW	2006	DBLP DOI BibTeX RDF
20	Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar	On Continuous Timed Automata with Input-Determined Guards.	FSTTCS	2006	DBLP DOI BibTeX RDF
20	Branko Kaucic	Approximative Terrain Guarding With Given Number of Guards.	J. Comput. Inf. Technol.	2005	DBLP DOI BibTeX RDF
20	Johan van Benthem	Guards, Bounds, and Generalized Semantics.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF
20	Johann Eder, Marek Lehmann	Workflow Data Guards.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
20	Wieslaw Szwast, Lidia Tendera	The guarded fragment with transitive guards.	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
20	Marco M. Carvalho, Thomas B. Cowin, Niranjan Suri, Maggie R. Breedy, Kenneth M. Ford	Using mobile agents as roaming security guards to test and improve security of hosts and networks.	SAC	2004	DBLP DOI BibTeX RDF	IHMC, MAST, mobile agents, network security, knowledge models, concept maps
20	Jae-Ha Lee, Sang-Min Park, Kyung-Yong Chwa	Equivalence of Search Capability Among Mobile Guards with Various Visibilities.	ESA	2004	DBLP DOI BibTeX RDF
20	Yevgeny Kazakov	A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.	IJCAR Doctoral Programme	2004	DBLP BibTeX RDF
20	Branko Kaucic, Borut Zalik, Franc Novak	On the Lower Bound of Edge Guards of Polyhedral Terrains.	Int. J. Comput. Math.	2003	DBLP DOI BibTeX RDF
20	T. S. Michael, Val Pinciu	Art gallery theorems for guarded guards.	Comput. Geom.	2003	DBLP DOI BibTeX RDF
20	Georg Gottlob, Nicola Leone, Francesco Scarcello	Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.	J. Comput. Syst. Sci.	2003	DBLP DOI BibTeX RDF
20	Emanuel Kieronski	The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.	FoSSaCS	2003	DBLP DOI BibTeX RDF
20	Richard J. Ormerod	Response to Mingers - an overarching philosophy for OR/MS - Sed Quis Custodet Custodies? [But who is to guard the guards themselves] (Juvenal, c. AD 60-130).	J. Oper. Res. Soc.	2002	DBLP DOI BibTeX RDF
20	Csaba D. Tóth	Art galleries with guards of uniform range of vision.	Comput. Geom.	2002	DBLP DOI BibTeX RDF
20	Sang-Min Park, Jae-Ha Lee, Kyung-Yong Chwa	Searching a Room by Two Guards.	Int. J. Comput. Geom. Appl.	2002	DBLP DOI BibTeX RDF
20	Giorgos D. Kazazakis, Antonis A. Argyros	Fast positioning of limited-visibility guards for the inspection of 2D workspaces.	IROS	2002	DBLP DOI BibTeX RDF
20	Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi	Formal validation of fault-tolerance mechanisms inside GUARDS.	Reliab. Eng. Syst. Saf.	2001	DBLP DOI BibTeX RDF
20	Georg Gottlob, Nicola Leone, Francesco Scarcello	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.	SEBD	2001	DBLP BibTeX RDF
20	Martin Erwig, Simon L. Peyton Jones	Pattern Guards and Transformational Patterns.	Haskell	2000	DBLP DOI BibTeX RDF
20	Csaba D. Tóth	Art gallery problem with guards whose range of vision is 180.	Comput. Geom.	2000	DBLP DOI BibTeX RDF
20	Martin Weigt, Alexander K. Hartmann	The number of guards needed by a museum: A phase transition in vertex covering of random graphs	CoRR	2000	DBLP BibTeX RDF
20	Randall Brukardt	In the News - An ISO Standard Guards the Ada Hen House, Innovation and the National Reconnaissance Office, Making Measurement Understandable.	IEEE Softw.	2000	DBLP DOI BibTeX RDF
20	Alon Efrat, Leonidas J. Guibas, Sariel Har-Peled, David C. Lin, Joseph S. B. Mitchell, T. M. Murali 0001	Sweeping simple polygons with a chain of guards.	SODA	2000	DBLP BibTeX RDF
20	André Engels	Design Decisions on Data and Guards in MSC2000.	SAM	2000	DBLP BibTeX RDF
20	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
20	Erich Grädel	On The Restraining Power of Guards.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF
20	David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings	GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	integrity levels, fault tolerance, embedded systems, real-time, Computer architecture, generic architecture
20	Xuehou Tan	Edge Guards in Straight Walkable Polygons.	Int. J. Comput. Geom. Appl.	1999	DBLP DOI BibTeX RDF
20	Timo Raita	On Guards and Symbol Dependencies in Substring Search.	Softw. Pract. Exp.	1999	DBLP DOI BibTeX RDF
20	Michael Mehl	The Oz virtual machine: records, transients and deep guards.		1999	RDF
20	Iliana Bjorling-Sachs	Edge guards in rectilinear polygons.	Comput. Geom.	1998	DBLP DOI BibTeX RDF
20	Johan van Benthem	Modality, relational guards, and decidability (invited paper).	RelMiCS	1998	DBLP BibTeX RDF
20	Yunghsiang S. Han, Carlos R. P. Hartmann	The zero-guards algorithm for general minimum-distance decoding problems.	IEEE Trans. Inf. Theory	1997	DBLP DOI BibTeX RDF
20	Laxmi P. Gewali	Placing Guards Inside Orthogonal Polygons.	Inf. Sci.	1996	DBLP DOI BibTeX RDF
20	A. S. M. Sajeev, Heinz W. Schmidt	Integrating concurrency and object-orientation using boolean, access and path guards.	HiPC	1996	DBLP DOI BibTeX RDF
20	Paul Colley, Henk Meijer, David Rappaport	Motivating lazy guards.	CCCG	1995	DBLP BibTeX RDF