Search results for "guards"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
191	Menelaos I. Karavelas	Guarding curvilinear art galleries with edge or mobile guards.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	2-dominance, curvilinear polygons, diagonal guards, edge guards, mobile guards, piece-wise-convex polygons, triangulation graphs, art gallery
130	Jae-Ha Lee, Sang-Min Park, Kyung-Yong Chwa	Optimization Algorithms for Sweeping a Polygonal Region with Mobile Guards.	ISAAC	2001	DBLP DOI BibTeX RDF
112	David Eppstein, Michael T. Goodrich, Nodari Sitchinava	Guard placement for efficient point-in-polygon proofs.	SCG	2007	DBLP DOI BibTeX RDF	angle guards, art gallery problem, floodlights, approximation algorithm, localization
77	David Lorge Parnas	On Iterative Constructs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
75	Sang-Min Park, Kyung-Yong Chwa, Jae-Ha Lee	Characterization of Rooms Searchable by Two Guards.	ISAAC	2000	DBLP DOI BibTeX RDF
75	Jan Friso Groote, Alban Ponse	Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).	CONCUR	1991	DBLP DOI BibTeX RDF
66	Matthew J. Katz, Gabriel S. Roisman	On Guarding Rectilinear Domains.	SWAT	2006	DBLP DOI BibTeX RDF
66	Alon Efrat, Leonidas J. Guibas, Sariel Har-Peled, Joseph S. B. Mitchell, T. M. Murali 0001	New Similarity Measures between Polylines with Applications to Morphing and Polygon Sweeping.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
66	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
64	Xuehou Tan, Bo Jiang 0004	Searching a Polygonal Region by Two Guards.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	polygon search problem, two-guard problem, robotics, computational geometry, visibility
64	Xuehou Tan	Searching a Polygonal Region by Two Guards.	TAMC	2007	DBLP DOI BibTeX RDF
64	Christodoulos Fragoudakis, Euripides Markou, Stathis Zachos	How to Place Efficiently Guards and Paintings in an Art Gallery.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
64	Val Pinciu	Connected Guards in Orthogonal Art Galleries.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
57	Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss	Implementing middleware for content filtering and information flow control.	CSAW	2007	DBLP DOI BibTeX RDF	GIOP, MILS, security, CORBA, safety, MLS, common criteria, high assurance, guards, IIOP
55	Lichen Bao, Sergey Bereg, Ovidiu Daescu, Simeon C. Ntafos, Junqiang Zhou	On Some City Guarding Problems.	COCOON	2008	DBLP DOI BibTeX RDF
55	Masoud Taghinezhad Omran	Parallel Algorithm to Find Minimum Vertex Guard Set in a Triangulated Irregular Network.	PPAM	2007	DBLP DOI BibTeX RDF	Art Gallery Problem, Guarding Problem, Approximation Algorithms, Parallel Computing, MPI, Graph Partitioning
55	Markus Müller-Olm, Oliver Rüthing, Helmut Seidl	Checking Herbrand Equalities and Beyond.	VMCAI	2005	DBLP DOI BibTeX RDF
55	Xuehou Tan	The Two-Guard Problem Revisited and Its Generalization.	ISAAC	2004	DBLP DOI BibTeX RDF
53	Adrian Kosowski, Michal Malafiejski, Pawel Zylinski	An Efficient Algorithm for Mobile Guarded Guards in Simple Grids.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
53	Bettina Speckmann, Csaba D. Tóth	Allocating Vertex pi-Guards in Simple Polygons via Pseudo-Triangulations.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
53	Michal Malafiejski, Pawel Zylinski	Weakly Cooperative Guards in Grids.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
53	Michel Sintzoff	Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
53	Bettina Speckmann, Csaba D. Tóth	Allocating vertex pi-guards in simple polygons via pseudo-triangulations.	SODA	2003	DBLP BibTeX RDF
53	Val Pinciu	A Coloring Algorithm for Finding Connected Guards in Art Galleries.	DMTCS	2003	DBLP DOI BibTeX RDF
53	Matthew Arnold, Barbara G. Ryder	Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading.	ECOOP	2002	DBLP DOI BibTeX RDF
53	Hoi Chang, Mikhail J. Atallah	Protecting Software Code by Guards.	Digital Rights Management Workshop	2001	DBLP DOI BibTeX RDF
53	Leo G. Kroon, Matteo Fischetti	Scheduling Train Drivers and Guards: The Dutch "Noord-Oost" Case.	HICSS	2000	DBLP DOI BibTeX RDF
46	Adrian Kosowski, Michal Malafiejski, Pawel Zylinski	Fault Tolerant Guarding of Grids.	ICCSA (1)	2006	DBLP DOI BibTeX RDF	fault tolerant guards, packing factors, edge-colorable subgraph
46	P. Greve, J. Hoffman, R. E. Smith	Using Type Enforcement to Assure a Configurable Guard.	ACSAC	1997	DBLP DOI BibTeX RDF	type enforcement, configurable guard, guard systems, administrator configurable guard, input channel, connected output channel, assured processes, assurance arguments, operational guards, pipeline, electronic mail, electronic mail, trusted components
44	Ming Hua 0001, Jian Pei, Ada Wai-Chee Fu, Xuemin Lin 0001, Ho-fung Leung	Top-k typicality queries and efficient query answering methods on large databases.	VLDB J.	2009	DBLP DOI BibTeX RDF	Typicality analysis, Efficient query answering, Top-k query
44	John Z. Zhang	The Two-Guard Polygon Walk Problem.	TAMC	2009	DBLP DOI BibTeX RDF
44	Louigi Addario-Berry, Omid Amini, Jean-Sébastien Sereni, Stéphan Thomassé	Guarding Art Galleries: The Extra Cost for Sculptures Is Linear.	SWAT	2008	DBLP DOI BibTeX RDF	Pseudo-triangulation, Art Gallery
44	Tobias Christ, Michael Hoffmann 0001, Yoshio Okamoto, Takeaki Uno	Improved Bounds for Wireless Localization.	SWAT	2008	DBLP DOI BibTeX RDF
44	Dusko Pavlovic, Douglas R. Smith	Guarded Transitions in Evolving Specifications.	AMAST	2002	DBLP DOI BibTeX RDF
44	Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu	Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module.	PRDC	2002	DBLP DOI BibTeX RDF
44	Stephan J. Eidenbenz, Christoph Stamm, Peter Widmayer	Inapproximability Results for Guarding Polygons and Terrains.	Algorithmica	2001	DBLP DOI BibTeX RDF
44	John H. Reif	Fast Spatial Decomposition and Closest Pair Computation for Limited Precision Input.	Algorithmica	2000	DBLP DOI BibTeX RDF	Visibility problems, Gap-preserving reductions, Telecommunications, Terrains, Inapproximability, Art gallery
44	Paul G. Spirakis, Basil Tampakas, Hera Antonopoulou	Distributed Protocols Against Mobile Eavesdroppers.	WDAG	1995	DBLP DOI BibTeX RDF	Theory of Distributed Computation, Privacy and Security, Algorithms and Data Structures
44	Jurek Czyzowicz, Eduardo Rivera-Campo, Nicola Santoro, Jorge Urrutia, Joseph Zaks	Tight Bounds for the Rectangualr Art Gallery Problem.	WG	1991	DBLP DOI BibTeX RDF
44	Frank S. de Boer, Catuscia Palamidessi	Embedding as a Tool for Language Comparison: On the CSP Hierarchy.	CONCUR	1991	DBLP DOI BibTeX RDF	concurrent logic languages, embedding, compositional semantics
42	Moti Yung	How to Guard the Guards Themselves.	FCT	2009	DBLP DOI BibTeX RDF	Key Evolving Cryptosystems, Proactive Cryptosystems, Public Key cryptography, Attacks, Leakage, Countermeasures, Physical Security, Threshold cryptosystems, Cryptographic Keys
42	W. Randolph Franklin, Metin Inanc, Zhongyi Xie, Daniel M. Tracy, Barbara Cutler, Marcus V. A. Andrade	Smugglers and border guards: the GeoStar project at RPI.	GIS	2007	DBLP DOI BibTeX RDF	map compression, terrain elevation data sets, terrain interpolation, GIS, terrain modeling
42	Lynn Choi, Yong Shin	Enforcement of Architectural Safety Guards to Deter Malicious Code Attacks through Buffer Overflow Vulnerabilities.	ARCS	2004	DBLP DOI BibTeX RDF
39	Henrique Bertosso, Jandir Pauli	"Who Guards the Guards?": A Study About the Power of Bank Managers Concerning the Organizational Electronic Control.	Int. J. Hum. Cap. Inf. Technol. Prof.	2021	DBLP DOI BibTeX RDF
39	Ivan Jovanovikj, Enes Yigitbas, Anthony Anjorin, Stefan Sauer 0001	Who Guards the Guards? On the Validation of Test CaseMigration.	Softwaretechnik-Trends	2018	DBLP BibTeX RDF
39	Alastair Reid 0001	Who guards the guards? formal validation of the Arm v8-m architecture specification.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
39	Heather Brown	Who guards the guards: meeting the challenges of digital preservation.	World Digit. Libr.	2009	DBLP DOI BibTeX RDF
39	Ben Rothke	Who Guards the Computer Security Guards?	Inf. Secur. J. A Glob. Perspect.	2003	DBLP DOI BibTeX RDF
35	Alexander Gilbers, Rolf Klein	New Results on Visibility in Simple Polygons.	WADS	2009	DBLP DOI BibTeX RDF	Computational geometry, visibility, VC-dimension, art galleries, guards
35	Lukito Edi Nugroho, A. S. M. Sajeev	Java4P: Java with High-Level Concurrency Constructs.	ISPAN	1999	DBLP DOI BibTeX RDF	Java, synchronisation, threads, Concurrent object-oriented programming, guards
35	Roberto Manione, Alberto Lagna	Simulation of object-oriented distributed systems via compilation to concurrent process level.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	object-oriented distributed systems, concurrent process level, object based software architectures, object based software platforms, prototype CASE environment, ACE computational model, TINA-C architecture, simulation engine, ACE language semantics, asynchronous method invocation, method guards, state of the art workstation, formal specification, parallel processing, compilation, programming environments, digital simulation, templates, object-oriented methods, computer aided software engineering, computational linguistics, Building Block, application specification, application generators, parallelising compilers, object oriented simulation, concurrent objects, program processors
35	Hamish Taylor	A Lingua Franca For Concurrent Logic Programming.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog
33	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard Reasoning in the Refined Operational Semantics of CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
33	Lian Yu, Shuang Su, Shan Luo, Yu Su 0007	Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems.	TASE	2008	DBLP DOI BibTeX RDF	Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems
33	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	History-Dependent Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
33	Julian Jang, Alan D. Fekete, Paul Greenfield, Surya Nepal	An Event-Driven Workflow Engine for Service-based Business Systems.	EDOC	2006	DBLP DOI BibTeX RDF
33	Emanuel Kieronski	Results on the Guarded Fragment with Equivalence or Transitive Relations.	CSL	2005	DBLP DOI BibTeX RDF
33	Ashraf Elnagar, Leena Lulu	Guarding polygons with holes for robot motion planning applications.	SMC (1)	2004	DBLP DOI BibTeX RDF
33	Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen	Static Guard Analysis in Timed Automata Verification.	TACAS	2003	DBLP DOI BibTeX RDF
33	Héctor H. González-Baños	A randomized art-gallery algorithm for sensor placement.	SCG	2001	DBLP DOI BibTeX RDF
33	Aldo Laurentini	Guarding the walls of an art gallery.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Visual sensor placement, Art gallery problem and theorems, Edge covering, Computational geometry, Visibility, Illumination
33	Hubert Comon, Yan Jurski	Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.	CAV	1998	DBLP DOI BibTeX RDF
33	Frank Hoffmann 0002, Klaus Kriegel	A Graph Coloring Result and Its Consequences for Some Guarding Problems.	ISAAC	1993	DBLP DOI BibTeX RDF
33	Luc Bougé	On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract).	WDAG	1987	DBLP DOI BibTeX RDF
31	Doron Drusinsky, Man-tak Shing	Using UML Statecharts with Knowledge Logic Guards.	MoDELS	2009	DBLP DOI BibTeX RDF	K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior
31	Emanuel Kieronski, Lidia Tendera	On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.	LPAR	2007	DBLP DOI BibTeX RDF
31	Brijesh Dongol, Arjan J. Mooij	Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.	MPC	2006	DBLP DOI BibTeX RDF
31	Cees Pierik, Dave Clarke 0001, Frank S. de Boer	Controlling Object Allocation Using Creation Guards.	FM	2005	DBLP DOI BibTeX RDF	verification, object-oriented programming, specification, invariants, object allocation
31	Michael Knoke, Günter Hommel	Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets.	DS-RT	2005	DBLP DOI BibTeX RDF
31	Julio Mariño, José María Rey Poza	Adding constraints to curry via flat guards.	WCFLP	2005	DBLP DOI BibTeX RDF	definitional trees, sloth, constraints, type classes, curry
31	Yevgeny Kazakov, Hans de Nivelle	A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.	IJCAR	2004	DBLP DOI BibTeX RDF
31	Deepak D'Souza, Nicolas Tabareau	On Timed Automata with Input-Determined Guards.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
31	Georg Gottlob, Nicola Leone, Francesco Scarcello	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
31	T. S. Michael, Val Pinciu	Multiply Guarded Guards in Orthogonal Art Galleries.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
31	Iain Phillips 0001	CCS with Priority Guards.	CONCUR	2001	DBLP DOI BibTeX RDF
31	Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi	Formal Validation of the GUARDS Inter-Consistency Mechanism.	SAFECOMP	1999	DBLP DOI BibTeX RDF
31	Stephan J. Eidenbenz, Christoph Stamm, Peter Widmayer	Positioning Guards at Fixed Height Above a Terrain - An Optimum Inapproximability Result.	ESA	1998	DBLP DOI BibTeX RDF
31	Ricardo Pena, Luis M. Alonso	A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.	TAPSOFT	1993	DBLP DOI BibTeX RDF
24	Adrian Kosowski, Michal Malafiejski, Pawel Zylinski	Packing [1, Delta] -factors in graphs of small degree.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Packing factors, Edge-colorable subgraph, Fault tolerant guards
24	O. Sami Saydjari	Multilevel Security: Reprise.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	data classes, risk avoidance, risk management, multilevel security, guards
22	Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster	From program verification to program synthesis.	POPL	2010	DBLP DOI BibTeX RDF	proof-theoretic program synthesis, verification
22	Colas Le Guernic, Antoine Girard	Reachability Analysis of Hybrid Systems Using Support Functions.	CAV	2009	DBLP DOI BibTeX RDF
22	Khaled El-Fakih, Nina Yevtushenko 0001, Hacène Fouchal	Testing Timed Finite State Machines with Guaranteed Fault Coverage.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
22	Axel Schild, Magnus Egerstedt, Jan Lunze	Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets.	HSCC	2009	DBLP DOI BibTeX RDF
22	Evaggelos Lappas, Stavros D. Nikolopoulos, Leonidas Palios	An O(n)-Time Algorithm for the Paired-Domination Problem on Permutation Graphs.	IWOCA	2009	DBLP DOI BibTeX RDF	paired-domination, algorithms, complexity, domination, permutation graphs
22	Stephen Kloder, Seth Hutchinson 0001	Partial barrier coverage: Using game theory to optimize probability of undetected intrusion in polygonal environments.	ICRA	2008	DBLP DOI BibTeX RDF
22	Andreas Witzel	Symmetric and Synchronous Communication in Peer-to-Peer Networks.	MPC	2008	DBLP DOI BibTeX RDF
22	Larissa Meinicke, Ian J. Hayes	Probabilistic Choice in Refinement Algebra.	MPC	2008	DBLP DOI BibTeX RDF
22	Michel Sintzoff	Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems.	MPC	2008	DBLP DOI BibTeX RDF
22	Eli Packer	Computing Multiple Watchman Routes.	WEA	2008	DBLP DOI BibTeX RDF	Watchman routes, Polygons, Arrangements, Art gallery
22	Antoine Girard, Colas Le Guernic	Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.	HSCC	2008	DBLP DOI BibTeX RDF
22	Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.	IFIP TCS	2008	DBLP DOI BibTeX RDF
22	Ajay Deshpande, Taejung Kim, Erik D. Demaine, Sanjay E. Sarma	A Pseudopolynomial Time O (log n )-Approximation Algorithm for Art Gallery Problems.	WADS	2007	DBLP DOI BibTeX RDF
22	Timothy G. Abbott, Katherine J. Lai, Michael R. Lieberman, Eric C. Price	Browser-Based Attacks on Tor.	Privacy Enhancing Technologies	2007	DBLP DOI BibTeX RDF
22	Catalin Dima	Dynamical Properties of Timed Automata Revisited.	FORMATS	2007	DBLP DOI BibTeX RDF
22	Bassel Daou, Gregor von Bochmann	Generalizing the Submodule Construction Techniques for Extended State Machine Models.	FORTE	2006	DBLP DOI BibTeX RDF
22	Mihai Budiu, Úlfar Erlingsson, Martín Abadi	Architectural support for software-based protection.	ASID	2006	DBLP DOI BibTeX RDF	control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting
22	Andrew Butterfield, Jim Woodcock 0001	prialt in Handel-C: an operational semantics.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Operational semantics, Priority, Handel-C
22	Naren Kodali, Csilla Farkas, Duminda Wijesekera	Enforcing Semantics-Aware Security in Multimedia Surveillance.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
22	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analysis of Numerical Properties.	SAS	2005	DBLP DOI BibTeX RDF