Search results for "well-behaved"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Daniel Sterne, Geoffrey Lawler, Richard Gopaul, Brian Rivera, Kelvin Marcus, Peter Kruus	Countering False Accusations and Collusion in the Detection of In-Band Wormholes.	ACSAC	2007	DBLP DOI BibTeX RDF
11	Joel Berman, Willem J. Blok	Algebras Defined from Ordered Sets and the Varieties they Generate.	Order	2006	DBLP DOI BibTeX RDF	equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
11	Stephen A. Edwards, Olivier Tardieu	SHIM: a deterministic model for heterogeneous embedded systems.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
11	Wai Hong Ho, Timothy Mark Pinkston	A Design Methodology for Efficient Application-Specific On-Chip Interconnects.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	low-contention communication, network partitioning, communication model, On-chip interconnects, irregular topology
11	Michael B. Baer	Source Coding for Quasiarithmetic Penalties.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
11	Chenyu Pan, Merdan Atajanov, Mohammad Belayet Hossain, Toshihiko Shimokawa, Norihiko Yoshida	FCAN: Flash Crowds Alleviation Network.	SAC	2006	DBLP DOI BibTeX RDF	internet load distribution, peer-to-peer systems, content delivery networks, flash crowds
11	Valerio Schiavoni, Vivien Quéma	A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures.	SAC	2006	DBLP DOI BibTeX RDF	components, aspect-oriented programming, annotations, DoS attacks
11	Roger Les Cottrell, Connie Logg, Mahesh Chhapparia, Maxim Grigoriev, Felipe Haro, Fawad Nazir, Mark Sandford	Evaluation of Techniques to Detect Significant Network Performance Problems using End-to-End Active Network Measurements.	NOMS	2006	DBLP DOI BibTeX RDF
11	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
11	Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001	The next 700 data description languages.	POPL	2006	DBLP DOI BibTeX RDF	domain-specific languages, dependent types, data description language
11	Yehuda Koren, Stephen C. North, Chris Volinsky	Measuring and extracting proximity in networks.	KDD	2006	DBLP DOI BibTeX RDF	connection subgraph, cycle-free escape probability, escape probability, proximity subgraph, random walks, proximity
11	Mark Daly, Yitzhak Mandelbaum, David Walker 0001, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng	PADS: an end-to-end system for processing ad hoc data.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF
11	Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan	Relational lenses: a language for updatable views.	PODS	2006	DBLP DOI BibTeX RDF	view update, lenses
11	Svetlana Mansmann, Marc H. Scholl	Extending Visual OLAP for Handling Irregular Dimensional Hierarchies.	DaWaK	2006	DBLP DOI BibTeX RDF
11	Tiberiu Seceleanu, Axel Jantsch	Communicating with Synchronized Environments.	ACSD	2006	DBLP DOI BibTeX RDF	synchronized / interleaved communication, System modeling, action systems
11	Venkata Nishanth Lolla, Lap Kong Law, Srikanth V. Krishnamurthy, Chinya V. Ravishankar, Dharmaiah Manjunath	Detecting MAC Layer Back-off Timer Violations in Mobile Ad Hoc Networks.	ICDCS	2006	DBLP DOI BibTeX RDF
11	Aaron D. Jaggard, Vijay Ramachandran	Robust Path-Vector Routing Despite Inconsistent Route Preferences.	ICNP	2006	DBLP DOI BibTeX RDF
11	José Espírito Santo, Maria João Frade, Luís Pinto 0001	Structural Proof Theory as Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
11	Paul-André Melliès	Functorial Boxes in String Diagrams.	CSL	2006	DBLP DOI BibTeX RDF
11	Michael P. Johnson, Wilpen Gorr, Stephen Roehrig	Location of Service Facilities for the Elderly.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	elderly services, integer programming, facility location, demand forecasting
11	Pradeep Kyasanur, Nitin H. Vaidya	Selfish MAC Layer Misbehavior in Wireless Networks.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	Wireless communication, network monitoring, network-level security and protection, public networks
11	Daniel Y. Chao	Reachability of nonsynchronized choice Petri nets and its applications.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
11	Terence H. Chan, Steve Hranilovic, Frank R. Kschischang	Capacity-achieving probability measure for conditionally Gaussian channels with bounded inputs.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
11	Helmut Alt, Otfried Cheong, Antoine Vigneron	The Voronoi Diagram of Curved Objects.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
11	Jean Claude Nunes, Steve Guyot, Éric Deléchelle	Texture analysis based on local analysis of the Bidimensional Empirical Mode Decomposition.	Mach. Vis. Appl.	2005	DBLP DOI BibTeX RDF	Riesz transform, Monogenic signal, Structure multi-vector, Mathematical morphology, Texture analysis, Empirical mode decomposition, Surface interpolation, Hilbert-Huang transform
11	Geuntae Bae, Daewon Kim, Daeyeon Park	Low-Power Multimedia Scheduling Using Output Pre-buffering.	MASCOTS	2005	DBLP DOI BibTeX RDF
11	Jos C. M. Baeten, Flavio Corradini	Regular Expressions in Process Algebra.	LICS	2005	DBLP DOI BibTeX RDF
11	César Navarro, Colin Turner, Omar Escalona, Colum Owens, John Anderson 0005, A. A. Jennifer Adgey	A Method for the ECG Inverse Problem in the Frequency Domain.	CBMS	2005	DBLP DOI BibTeX RDF
11	Robert Sheahan, Lester Lipsky, Pierre M. Fiorini	The Effect of Different Failure Recovery Procedures on the Distribution of Task Completion Times.	IPDPS	2005	DBLP DOI BibTeX RDF
11	Kathleen Fisher, Robert Gruber	PADS: a domain-specific language for processing ad hoc data.	PLDI	2005	DBLP DOI BibTeX RDF	domain-specific languages, data description language
11	Stephen A. Edwards, Olivier Tardieu	SHIM: a deterministic model for heterogeneous embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	deterministic model of computation, hardware/software codesign, software synthesis, hardware synthesis
11	Adam Chlipala, Leaf Petersen, Robert Harper 0001	Strict bidirectional type checking.	TLDI	2005	DBLP DOI BibTeX RDF	strict logic, type inference, type theory
11	Gustavo Carneiro 0001, Allan D. Jepson	The Distinctiveness, Detectability, and Robustness of Local Image Features.	CVPR (2)	2005	DBLP DOI BibTeX RDF
11	Seung Jun, Mustaque Ahamad, Jun (Jim) Xu	Robust Information Dissemination in Uncooperative Environments.	ICDCS	2005	DBLP DOI BibTeX RDF
11	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
11	Michael Benedikt, Luc Segoufin	Towards a Characterization of Order-Invariant Queries over Tame Structures.	CSL	2005	DBLP DOI BibTeX RDF
11	Paul Robinson, Nick Cook, Santosh K. Shrivastava	Implementing Fair Non-repudiable Interactions with Web Services.	EDOC	2005	DBLP DOI BibTeX RDF	Inter-enterprise collaboration and virtual enterprises, Middleware standards and systems, Security, Web services, Non-repudiation, Fair exchange, Enterprise computing
11	David Watson 0001, Matthew Smart, G. Robert Malan, Farnam Jahanian	Protocol scrubbing: network security through transparent flow modification.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	protocol scrubber, stack fingerprinting, intrusion detection, network security, TCP/IP
11	Pankaj K. Agarwal, Eran Nevo, János Pach, Rom Pinchasi, Micha Sharir, Shakhar Smorodinsky	Lenses in arrangements of pseudo-circles and their applications.	J. ACM	2004	DBLP DOI BibTeX RDF	incidence problems, pseudo-circles, Arrangements
11	Néstor Becerra Yoma, Juan Hood, Carlos Busso	A real-time protocol for the Internet based on the least mean square algorithm.	IEEE Trans. Multim.	2004	DBLP DOI BibTeX RDF
11	Sanjeev Arora, Bo Brinkman	A Randomized Online Algorithm for Bandwidth Utilization.	J. Sched.	2004	DBLP DOI BibTeX RDF	congestion control, online algorithms
11	Jufeng Peng, Mihai Anitescu, Srinivas Akella	Optimal Control of Multiple Robot Systems with Friction using MPCC.	ICRA	2004	DBLP DOI BibTeX RDF
11	Erik D. Demaine, Thouis R. Jones, Mihai Patrascu	Interpolation search for non-independent data.	SODA	2004	DBLP BibTeX RDF
11	Michael Norrish	Recursive Function Definition for Types with Binders.	TPHOLs	2004	DBLP DOI BibTeX RDF
11	Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola	Closing the Gap between the Stable Semantics and Extensions of WFS.	MICAI	2004	DBLP DOI BibTeX RDF	Stable semantics, FOUR, Modal logics, WFS
11	Utkarsh Srivastava, Jennifer Widom	Flexible Time Management in Data Stream Systems. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
11	Ivan Gerace, Francesco Cricco, Anna Tonazzini	An Extended Maximum Likelihood Approach for the Robust Blind Separation of Autocorrelated Images from Noisy Mixtures.	ICA	2004	DBLP DOI BibTeX RDF
11	Amirali Baniasadi, Andreas Moshovos	SEPAS: a highly accurate energy-efficient branch predictor.	ISLPED	2004	DBLP DOI BibTeX RDF	high-performance processors, power-aware branch prediction, selective predictor access
11	Bogdan Carbunar, Ioannis Ioannidis, Cristina Nita-Rotaru	JANUS: towards robust and malicious resilient routing in hybrid wireless networks.	Workshop on Wireless Security	2004	DBLP DOI BibTeX RDF	security, routing, hybrid wireless networks
11	Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola	Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
11	Vasilis Vasaitis, Alexandros Nanopoulos, Panayiotis Bozanis	Merging R-trees.	SSDBM	2004	DBLP DOI BibTeX RDF
11	Tao Wan 0004, Evangelos Kranakis, Paul C. van Oorschot	Securing the Destination-Sequenced Distance Vector Routing Protocol (S-DSDV).	ICICS	2004	DBLP DOI BibTeX RDF	Security Analysis, Wireless Security, Routing Security, DSDV
11	Pradeep Kyasanur, Nitin H. Vaidya	Detection and Handling of MAC Layer Misbehavior in Wireless Networks.	DSN	2003	DBLP DOI BibTeX RDF
11	Jan Chomicki, Parke Godfrey, Jarek Gryz, Dongming Liang	Skyline with Presorting.	ICDE	2003	DBLP DOI BibTeX RDF
11	Kaspar Fischer, Bernd Gärtner	The smallest enclosing ball of balls: combinatorial structure and algorithms.	SCG	2003	DBLP DOI BibTeX RDF	distance to convex hull, minimal covering ball, minimum volume sphere, unique sink orientation
11	Jeung-Bo Cho, Min-Soo Jung	A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF	Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier
11	Rachid Guerraoui, Michel Raynal	A Generic Framework for Indulgent Consensus.	ICDCS	2003	DBLP DOI BibTeX RDF
11	Yuni Xia, Sunil Prabhakar	Efficient CNG Indexing in Location-Aware Sevices.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
11	David Corne, Joshua D. Knowles	No Free Lunch and Free Leftovers Theorems for Multiobjective Optimisation Problems.	EMO	2003	DBLP DOI BibTeX RDF
11	Thomas P. Hayes	Randomly coloring graphs of girth at least five.	STOC	2003	DBLP DOI BibTeX RDF	Glauber dynamics, concentration inequalities, posterior analysis, graph coloring, Markov chain Monte Carlo, Chernoff bounds
11	Rahul Garg 0001, Abhinav Kamra, Varun Khurana	A game-theoretic approach towards congestion control in communication networks.	Comput. Commun. Rev.	2002	DBLP DOI BibTeX RDF	stackelberg equilibrium, scheduling, game theory, congestion control, TCP, fairness, GPS, nash equilibrium, generalized processor sharing, RIS, DWS
11	Ahmad H. Nasri, Malcolm A. Sabin	Editorial to the Special Issue on subdivision 2001.	Vis. Comput.	2002	DBLP DOI BibTeX RDF
11	Bruno Lévy 0001, Sylvain Petitjean, Nicolas Ray, Jérôme Maillot	Least squares conformal maps for automatic texture atlas generation.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	texture mapping, polygonal modeling, paint systems
11	Marco Kick	Bialgebraic Modelling of Timed Processes.	ICALP	2002	DBLP DOI BibTeX RDF
11	José R. M. Monteiro, Ricardo Dahab	An Attack on a Protocol for Certified Delivery.	ISC	2002	DBLP DOI BibTeX RDF
11	Jan Giebel, Dariu Gavrila	Multimodal Shape Tracking with Point Distribution Models.	DAGM-Symposium	2002	DBLP DOI BibTeX RDF
11	Johan Claes, Marc Ramaekers, Frank Van Reeth	Providing Local Interpolation, Tension and Normal Control in the Manipulation of Loop Subdivision Surfaces.	Computer Graphics International	2001	DBLP DOI BibTeX RDF	Loop subdivision, recursive subdivision surfaces, modeling, computer animation, surface design
11	Helmut Alt, Laura Heinrich-Litan	Exact Linfty Nearest Neighbor Search in High Dimensions.	SCG	2001	DBLP DOI BibTeX RDF
11	Raymond Lau 0001, Arthur H. M. ter Hofstede, Peter Bruza	Nonmonotonic Reasoning or Adaptive Information Filtering.	ACSC	2001	DBLP DOI BibTeX RDF
11	Torben Bach Pedersen, Nectaria Tryfona	Pre-aggregation in Spatial Data Warehouses.	SSTD	2001	DBLP DOI BibTeX RDF
11	Shabbir H. Batterywala, H. Narayanan	Spectral Algorithm To Compute And Synthesize Reduced Order Passive Models For Arbitrary Rc Multiports.	VLSI Design	2001	DBLP DOI BibTeX RDF
11	John Havlicek	Computable Obstructions to Wait-Free Computability.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Decision tasks, Homology, Simplicial complexes, Wait-free computing
11	Jeffrey M. Voas	Developing a Usage-Based Software Certification Process.	Computer	2000	DBLP DOI BibTeX RDF
11	Tolga Tasdizen, Jean-Philippe Tarel, David B. Cooper	Improving the stability of algebraic curves for applications.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
11	Kenny Pauwels, Stefaan De Cnodder, Omar Elloumi	A Multi-color Marking Scheme to Achieve Fair Bandwidth Allocation.	QofIS	2000	DBLP DOI BibTeX RDF	Fair bandwidth sharing, congestion control, differentiated services
11	Gilles Barthe, Femke van Raamsdonk	Constructor Subtyping in the Calculus of Inductive Constructions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
11	J. B. Wells, René Vestergaard	Equational Reasoning for Linking with First-Class Primitive Modules.	ESOP	2000	DBLP DOI BibTeX RDF
11	Grzegorz Malewicz, Alexander Russell, Alexander A. Shvartsman	Distributed Cooperation During the Absence of Communication.	DISC	2000	DBLP DOI BibTeX RDF
11	Henry Prakken	On Dialogue Systems with Speech Acts, Arguments, and Counterarguments.	JELIA	2000	DBLP DOI BibTeX RDF
11	Loong Fah Cheong, Chin-Hwee Peh	Characterizing Depth Distortion due to Calibration Uncertainty.	ECCV (1)	2000	DBLP DOI BibTeX RDF	Depth distortion, Uncalibrated motion analysis, Structure from motion, Space perception
11	Ghislain Franssens	A new non-polynomial univariate interpolation formula of Hermite type.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	univariate Hermite interpolation, Multipoint Taylor series, 41A58, 26E05, 65D05, 65D15, 41A30
11	Eva Hoogland, Maarten Marx, Martin Otto 0001	Beth Definability for the Guarded Fragment.	LPAR	1999	DBLP DOI BibTeX RDF
11	Lingli Ding, Xin Zhang 0002, Elke A. Rundensteiner	The MRE Wrapper Approach: Enabling Incremental View Maintenance of Data Warehouses Defined on Multi-Relation Information Sources.	DOLAP	1999	DBLP DOI BibTeX RDF
11	Parosh Aziz Abdulla, Bengt Jonsson 0001	On the Existence of Network Invariants for Verifying Parameterized Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF
11	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
11	Nader Salehi, Katia Obraczka, Clifford Neuman	The Performance of a Reliable, Request-Response Transport Protocol.	ISCC	1999	DBLP DOI BibTeX RDF
11	Haruhisa Takahashi, Hanzhong Gu	A tight bound on concept learning.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
11	George Bebis, Michael Georgiopoulos, Niels da Vitoria Lobo	Using self-organizing maps to learn geometric hash functions for model-based object recognition.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
11	Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom	A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.	ICATPN	1998	DBLP DOI BibTeX RDF
11	Sarah A. M. Talbot, Paul H. J. Kelly	Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention.	Euro-Par	1998	DBLP DOI BibTeX RDF
11	Jirí Wiedermann	Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation.	MFCS	1998	DBLP DOI BibTeX RDF
11	Bernhard Beckert, Dov M. Gabbay	Fibring Semantic Tableaux.	TABLEAUX	1998	DBLP DOI BibTeX RDF
11	Kihong Park, Wei Wang	AFEC: An Adaptive Forward Error Correction Protocol for End-to-End Transport of Real-Time Traffic.	ICCCN	1998	DBLP DOI BibTeX RDF
11	Fernando Bello, Alan C. F. Colchester	Measuring Global and Local Spatial Correspondence Using Information Theory.	MICCAI	1998	DBLP DOI BibTeX RDF
11	Xavier Pennec, Jean-Philippe Thirion	A Framework for Uncertainty and Validation of 3-D Registration Methods Based on Points and Frames.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF
11	Sergio Antoy	Optimal Non-deterministic Functional Logic Computations.	ALP/HOA	1997	DBLP DOI BibTeX RDF
11	John Havlicek	Computable Obstructions to Wait-free Computability.	FOCS	1997	DBLP DOI BibTeX RDF	computable obstructions, distributed decision task, wait-free protocol, fault-tolerant computation, computability, asynchronous distributed systems, shared-memory model, wait-free computability
11	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
11	Natarajan Shankar	Lazy Compositional Verification.	COMPOS	1997	DBLP DOI BibTeX RDF
11	Ibrahim M. Elfadel, David D. Ling	Zeros and Passivity of Arnoldi-Reduced-Order Models for Interconnect Networks.	DAC	1997	DBLP DOI BibTeX RDF