Search results for "guards"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Siu-Ming Yiu	A generalized fortress problem using k-consecutive vertex guards.	CCCG	1995	DBLP BibTeX RDF
20	Andreas Podelski, Peter Van Roy	A Detailed Algorithm Testing Guards over Feature Trees.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
20	Bern-Cherng Liaw, Richard C. T. Lee	An Optimal Algorithm to Solve the Minimum Weakly Cooperative Guards Problem for 1-Spiral Polygons.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
20	Simeon C. Ntafos, Markos Z. Tsoukalas	Optimum Placement of Guards.	Inf. Sci.	1994	DBLP DOI BibTeX RDF
20	Alan Stewart	A one-pass thinning algorithm with interference guards.	Pattern Recognit. Lett.	1994	DBLP DOI BibTeX RDF
20	Jan Friso Groote, Alban Ponse	Process Algebra with Guards: Combining Hoare Logic with Process Algebra.	Formal Aspects Comput.	1994	DBLP DOI BibTeX RDF
20	Siu-Ming Yiu, A. Choi	Edge Guards on a Fortress.	CCCG	1994	DBLP BibTeX RDF
20	Gregorio Hernández-Peñalver	Controlling Guards.	CCCG	1994	DBLP BibTeX RDF
20	Manuel Abellanas, Jesus Garcia-Lopez, Ferran Hurtado	Consecutive Guards.	CCCG	1994	DBLP BibTeX RDF
20	Bern-Cherng Liaw, N. F. Huang, Richard C. T. Lee	The Minimum Cooperative Guards Problem on K-spiral Polygons.	CCCG	1993	DBLP BibTeX RDF
20	Laxmi P. Gewali, Simeon C. Ntafos	Covering Grids and Orthogonal Polygons with Periscope Guards.	Comput. Geom.	1992	DBLP DOI BibTeX RDF
20	R. Govindarajan, Sheng Yu 0001, V. S. Lakshmanan 0001	Attempting guards in parallel: A data flow approach to execute generalized guarded commands.	Int. J. Parallel Program.	1992	DBLP DOI BibTeX RDF
20	Christian Icking, Rolf Klein	The Two Guards Problem.	Int. J. Comput. Geom. Appl.	1992	DBLP DOI BibTeX RDF
20	R. V. Subramaniyam, Ajit Arvind Diwan	A Counterexample for the Sufficiency of Edge Guards in Star Polygons.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
20	Christian Icking, Rolf Klein	The Two Guards Problem.	SCG	1991	DBLP DOI BibTeX RDF
20	Ryszard Janicki, Tomasz Müldner	Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
20	William Neugent	Security guards: issues and approaches.	IEEE Commun. Mag.	1988	DBLP DOI BibTeX RDF
20	S. Ramesh 0001	A New Efficient Implementation of CSP with Output Guards.	ICDCS	1987	DBLP BibTeX RDF
20	Ronald Paans	Computer security and EDP-auditing: The twin guards.	Comput. Secur.	1984	DBLP DOI BibTeX RDF
20	Arthur J. Bernstein	Output Guards and Nondeterminism in "Communicating Sequential Processes".	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
11	Therese Biedl, Mohammad Tanvir Irfan, Justin Iwerks, Joondong Kim, Joseph S. B. Mitchell	Guarding polyominoes.	SCG	2011	DBLP DOI BibTeX RDF
11	Virgil D. Gligor	Architectures for practical security.	SACMAT	2010	DBLP DOI BibTeX RDF	architectures
11	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Safety shell, Real time, Pattern, Safety, UML-RT
11	Paola Flocchini, Bernard Mans, Nicola Santoro	Exploration of Periodically Varying Graphs.	ISAAC	2009	DBLP DOI BibTeX RDF
11	Dorel Lucanu, Grigore Rosu	Circular Coinduction with Special Contexts.	ICFEM	2009	DBLP DOI BibTeX RDF
11	David N. Chin, Dong-Wan Kang, Curtis S. Ikehara	Plan Recognition of Movement.	UMAP	2009	DBLP DOI BibTeX RDF	RFID, movement, plan recognition, Lidar, behavior analysis
11	Nathan Eagle	txteagle: Mobile Crowdsourcing.	HCI (14)	2009	DBLP DOI BibTeX RDF	appropriate technology, mobile phones, reputation systems, crowdsourcing
11	Jakub Michaliszyn	Decidability of the Guarded Fragment with the Transitive Closure.	ICALP (2)	2009	DBLP DOI BibTeX RDF
11	Jesús Aranda, Frank D. Valencia, Cristian Versari	On the Expressive Power of Restriction and Priorities in CCS with Replication.	FoSSaCS	2009	DBLP DOI BibTeX RDF
11	Marcelo C. Couto, Pedro Jussieu de Rezende, Cid C. de Souza	An IP solution to the art gallery problem.	SCG	2009	DBLP DOI BibTeX RDF	integer programming, visibility, set cover, art gallery
11	Martin Hoffmann 0002, Michael Wittke, Jörg Hähner	Design and Evaluation of a Notification System for Alarm Management in Distributed Vision Networks.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
11	Massimo Bartoletti	Usage Automata.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
11	Michael Garlick, Maria Chli	The effect of social influence and curfews on civil violence.	AAMAS (2)	2009	DBLP BibTeX RDF	comprehensive/cross-cutting (multi-agent based simulation), environment (environment modelling & simulation), experimental/empirical, social/organisational (groups and teams, emergent behaviour), simulations, social sciences
11	Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin	Robust safety of timed automata.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Robustness, Implementability, Perturbation, Timed automaton, Drift
11	Noel E. Sharkey	Robotics Today: The Good, Bad, and Ugly.	ECBS	2008	DBLP DOI BibTeX RDF	Ethical issues in robotics
11	Marcelo C. Couto, Cid C. de Souza, Pedro Jussieu de Rezende	Experimental Evaluation of an Exact Algorithm for the Orthogonal Art Gallery Problem.	WEA	2008	DBLP DOI BibTeX RDF
11	Jorge Júlvez	Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded Transitions.	QEST	2008	DBLP DOI BibTeX RDF
11	Idir Aït-Sadoune, Yamine Aït Ameur	Animating Event B Models by Formal Data Models.	ISoLA	2008	DBLP DOI BibTeX RDF
11	John Z. Zhang, Tsunehiko Kameda	A Linear-Time Algorithm for Finding All Door Locations That Make a Room Searchable.	TAMC	2008	DBLP DOI BibTeX RDF
11	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
11	Igor Siveroni, Andrea Zisman, George Spanoudakis	Property Specification and Static Verification of UML Models.	ARES	2008	DBLP DOI BibTeX RDF	Model Checking, UML, Spin, Static Verification
11	Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry 0001	Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.	HSCC	2008	DBLP DOI BibTeX RDF
11	Raluca Lefticaru, Florentin Ipate	Functional Search-based Testing from State Machines.	ICST	2008	DBLP DOI BibTeX RDF	genetic algorithms, simulated annealing, particle swarm optimization, finite state machine, search-based testing
11	Markus Müller-Olm, Helmut Seidl	Upper Adjoints for Fast Inter-procedural Variable Equalities.	ESOP	2008	DBLP DOI BibTeX RDF
11	Volkan Ustun, Jeffrey S. Smith	Mental simulation for creating realistic behavior in physical security systems simulation.	WSC	2008	DBLP DOI BibTeX RDF
11	Tomi Karlstedt, Ville Leppänen, Sanna Tuohimaa	Embedding Rule-Based Security Monitors into Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	security, mobile code, runtime monitoring
11	Daniel M. Tracy, W. Randolph Franklin, Barbara Cutler, Franklin T. Luk, Marcus V. A. Andrade	Path planning on a compressed terrain.	GIS	2008	DBLP DOI BibTeX RDF	observer viewshed, terrain compression, path planning
11	Philipp Haller, Tom Van Cutsem	Implementing Joins Using Extensible Pattern Matching.	COORDINATION	2008	DBLP DOI BibTeX RDF	Join Patterns, Concurrent Programming, Actors, Chords
11	Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert	Actors with Multi-headed Message Receive Patterns.	COORDINATION	2008	DBLP DOI BibTeX RDF
11	Giovanni Pezzulo	A Study of Off-Line Uses of Anticipation.	SAB	2008	DBLP DOI BibTeX RDF
11	Mudhakar Srivatsa, Ling Liu 0001, Arun Iyengar	Preserving Caller Anonymity in Voice-over-IP Networks.	SP	2008	DBLP DOI BibTeX RDF
11	Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro 0001	Preventing Memory Error Exploits with WIT.	SP	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, attack detection, memory errors
11	Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj	A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Timed Input Output Automata, Real-Time Systems, Testing, Formal Methods, Test Coverage
11	Jasper Berendsen, Frits W. Vaandrager	Compositional Abstraction in Real-Time Model Checking.	FORMATS	2008	DBLP DOI BibTeX RDF
11	Franck Barbier	Supporting the UML State Machine Diagramsat Runtime.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	UML, Statecharts, model executability
11	Sara Rodríguez 0001, Javier Bajo	Multi-agent System for Management and Monitoring of Routes Surveillance.	HAIS	2008	DBLP DOI BibTeX RDF	Industrial Security, Surveillance Routes Calculation, Agents, Radio-Frequency Identification, Monitoring
11	B. Ganguli, Matt P. Wand	Feature significance in generalized additive models.	Stat. Comput.	2007	DBLP DOI BibTeX RDF	Best linear unbiased prediction (BLUP), Bivariate smoothing, Generalised linear mixed models, Low-rank mixed models, Penalised splines, Penalised quasi-likelihood (PQL), Geostatistics, Additive models
11	Markus Müller-Olm, Helmut Seidl	Analysis of modular arithmetic.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic
11	Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi	FSMC+, a tool for the generation of Java code from statecharts.	PPPJ	2007	DBLP DOI BibTeX RDF	evoting, model checking, code generation, statecharts
11	Yi Lv, Huimin Lin, Hong Pan	Computing Invariants for Parameter Abstraction.	MEMOCODE	2007	DBLP DOI BibTeX RDF
11	Kevin S. Bauer, Damon McCoy, Dirk Grunwald, Tadayoshi Kohno, Douglas C. Sicker	Low-resource routing attacks against tor.	WPES	2007	DBLP DOI BibTeX RDF	load balancing, anonymity, traffic analysis, tor
11	Sigmund Cherem, Lonnie Princehouse, Radu Rugina	Practical memory leak detection using guarded value-flow analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static error detection, value-flow analysis, memory management, memory leaks
11	Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.	ECSA	2007	DBLP DOI BibTeX RDF	publish/subscribe style, style composition, software architecture, formal specification, architecture modeling, graph rewriting, dynamic architecture
11	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking Unified.	VMCAI	2007	DBLP DOI BibTeX RDF
11	Jérôme Leroux, Grégoire Sutre	Acceleration in Convex Data-Flow Analysis.	FSTTCS	2007	DBLP DOI BibTeX RDF
11	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
11	Sergey Gorinsky, Sugat Jain, Harrick M. Vin, Yongguang Zhang	Design of multicast protocols robust against inflated subscription.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	misbehaving receivers, robust communication protocols, multicast, congestion control, fair bandwidth allocation
11	Warren A. Hunt Jr., Serita M. Nelesen	Phylogenetic trees in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	ACL2, phylogenetics
11	Philipp Rümmer	Sequential, Parallel, and Quantified Updates of First-Order Structures.	LPAR	2006	DBLP DOI BibTeX RDF
11	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements.	ICSOC	2006	DBLP DOI BibTeX RDF
11	Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier	Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
11	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Test Purpose Definition.	TestCom	2006	DBLP DOI BibTeX RDF	Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
11	John Z. Zhang, Tsunehiko Kameda	Where to Build a Door.	IROS	2006	DBLP DOI BibTeX RDF
11	Michael Knoke, Armin Zimmermann	Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.	QEST	2006	DBLP DOI BibTeX RDF
11	Manindra Agrawal, Frank Stephan 0001, P. S. Thiagarajan, Shaofa Yang	Behavioural Approximations for Restricted Linear Differential Hybrid Automata.	HSCC	2006	DBLP DOI BibTeX RDF
11	Fernando C. Colón Osorio, Justin Whitney	A stratified model for security in peer networks: a case for fine grain granularity.	IPCCC	2006	DBLP DOI BibTeX RDF
11	Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr	Demeter Interfaces: Adaptive Programming Without Surprises.	ECOOP	2006	DBLP DOI BibTeX RDF
11	Jonghwa Choi, Dongkyoo Shin, Dongil Shin	Intelligent Game Agent Based Physics Engine for Intelligent Non Player Characters.	PRIMA	2006	DBLP DOI BibTeX RDF	Non-Player Game Character, Physics Game Engine, AI Game Engine
11	Ana Mafalda Martins, António Leslie Bajuelos	Characterizing and Covering Some Subclasses of Orthogonal Polygons.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
11	Markus Müller-Olm, Michael Petter, Helmut Seidl	Interprocedurally Analyzing Polynomial Identities.	STACS	2006	DBLP DOI BibTeX RDF
11	Jyotishman Pathak, Samik Basu 0001, Robyn R. Lutz, Vasant G. Honavar	Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications.	ICTAI	2006	DBLP DOI BibTeX RDF
11	Daniele Gorla, Matthew Hennessy, Vladimiro Sassone	Inferring dynamic credentials for rôle-based trust management.	PPDP	2006	DBLP DOI BibTeX RDF	logic programming with negation, rôle-based access control, trust-management, inference systems
11	Young-Chul Shim	A Secure Multicast Routing Protocol for Ad Hoc Networks with Misbehaving Nodes.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
11	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	EFSM Manipulation to Increase High-Level ATPG Effectiveness.	ISQED	2006	DBLP DOI BibTeX RDF
11	Ilia Bider, Lena Johansson, Erik Perjons, Alexey Striy	Activation of Knowledge in an Integrated Business Process Support/Knowledge Management System.	PAKM	2006	DBLP DOI BibTeX RDF
11	James King 0001	A 4-Approximation Algorithm for Guarding 1.5-Dimensional Terrains.	LATIN	2006	DBLP DOI BibTeX RDF
11	Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson	Model Checking Timed Automata with Priorities Using DBM Subtraction.	FORMATS	2006	DBLP DOI BibTeX RDF
11	Conrado Daws, Piotr Kordy	Symbolic Robustness Analysis of Timed Automata.	FORMATS	2006	DBLP DOI BibTeX RDF
11	Lionel C. Briand, Yvan Labiche, Jim Cui	Automated support for deriving test requirements from UML statecharts.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF
11	Giuliano Armano, Gianmaria Mancosu, Alessandro Orro, Eloisa Vargiu	A Multi-agent System for Protein Secondary Structure Prediction.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
11	Mudhakar Srivatsa, Ling Liu 0001	Securing publish-subscribe overlay services with EventGuard.	CCS	2005	DBLP DOI BibTeX RDF
11	Wieslaw Szwast, Lidia Tendera	On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.	LPAR	2005	DBLP DOI BibTeX RDF	computational complexity, transitivity, decision problem, guarded fragment, finite model
11	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	Linear Ranking with Reachability.	CAV	2005	DBLP DOI BibTeX RDF
11	Boaz Ben-Moshe, Matthew J. Katz, Joseph S. B. Mitchell	A constant-factor approximation algorithm for optimal terrain guarding.	SODA	2005	DBLP BibTeX RDF
11	Bob Hutchinson	The future of systematic information protection.	SAC	2005	DBLP DOI BibTeX RDF
11	Manindra Agrawal, P. S. Thiagarajan	The Discrete Time Behavior of Lazy Linear Hybrid Automata.	HSCC	2005	DBLP DOI BibTeX RDF
11	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard and Continuation Optimization for Occurrence Representations of CHR.	ICLP	2005	DBLP DOI BibTeX RDF
11	Shuhao Li, Ji Wang 0001, Xin Wang, Zhi-Chang Qi	Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
11	Mike Bazakos, Yunqian Ma, Andrew H. Johnson	Fast access control technology solutions (FACTS).	AVSS	2005	DBLP DOI BibTeX RDF
11	Hans-Joachim Lenz, Bernhard Thalheim	OLAP Schemata for Correct Applications.	TEAA	2005	DBLP DOI BibTeX RDF