Search results for "violations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Denis Besnard, David Greathead	A cognitive approach to safe violations.	Cogn. Technol. Work.	2003	DBLP DOI BibTeX RDF	Large-scale systems safety, Violations, Cognitive ergonomics
65	Salim Chowdhury, John Lillis	Repeater insertion for concurrent setup and hold time violations with power-delay trade-off.	ISPD	2007	DBLP DOI BibTeX RDF	early-mode timing, hold violation, late-mode timing, setup violation, timing optimization, repeater insertion
59	Brandon Lucia, Luis Ceze, Karin Strauss	ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations.	ISCA	2010	DBLP DOI BibTeX RDF	bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations
52	Mohamed Ali Kâafar, Bamba Gueye, François Cantin, Guy Leduc, Laurent Mathy	Towards a Two-Tier Internet Coordinate System to Mitigate the Impact of Triangle Inequality Violations.	Networking	2008	DBLP DOI BibTeX RDF	Internet Coordinate Systems, Performance, Experimentation, Triangle Inequality Violations
51	Ali Dasdan	Provably efficient algorithms for resolving temporal and spatial difference constraint violations.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	interface timing, layout compaction, scheduling, real-time systems, constraint satisfaction, timing constraints, Behavioral synthesis, multimedia synchronization, rate analysis
51	Srinivasan Seetharaman, Mostafa H. Ammar	Characterizing and Mitigating Inter-domain Policy Violations in Overlay Routes.	ICNP	2006	DBLP DOI BibTeX RDF
51	Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001	AVIO: detecting atomicity violations via access interleaving invariants.	ASPLOS	2006	DBLP DOI BibTeX RDF	concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
51	Zhenmin Li, Yuanyuan Zhou	PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automated specification generation, automated violation detection, data mining for software engineering, programming rules, pattern recognition, static analysis
43	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE (1)	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
43	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
43	Nico Roos, Cees Witteveen	Diagnosis of Plan Structure Violations.	MATES	2007	DBLP DOI BibTeX RDF	Coordination errors, Model-Based Diagnosis, Plan execution
43	Amit Kumar 0004, Krishnendu Chakrabarty, Chunduri Rama Mohan	An ECO Technique for Removing Crosstalk Violations in Clock Networks.	VLSI Design	2007	DBLP DOI BibTeX RDF
43	Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoyu Mao	Diagnosis of plan step errors and plan structure violations.	AAMAS	2007	DBLP DOI BibTeX RDF	planning, model-based diagnosis, plan execution
37	Gustavo Neuberger, Gilson I. Wirth, Ricardo Reis 0001	Protecting digital circuits against hold time violation due to process variability.	SBCCI	2009	DBLP DOI BibTeX RDF	flip-flop characterization, hold time violations, race immunity, clock skew, process variability
37	Matthew S. Simpson, Bhuvan Middha, Rajeev Barua	Segment protection for embedded systems using run-time checks.	CASES	2005	DBLP DOI BibTeX RDF	MMU, MPU, ewmbedded systems, safe languages, segment protection, segmentation violations, reliability, compilers, virtual memory, memory safety, run-time checks
36	Oshani Seneviratne, Lalana Kagal, Tim Berners-Lee	Policy-Aware Content Reuse on the Web.	ISWC	2009	DBLP DOI BibTeX RDF
36	Soner Önder, Rajiv Gupta 0001	Dynamic Memory Disambiguation in the Presence of Out-of-Order Store Issuing.	MICRO	1999	DBLP DOI BibTeX RDF
36	Azadeh Farzan, P. Madhusudan, Francesco Sorrentino 0002	Meta-analysis for Atomicity Violations under Nested Locking.	CAV	2009	DBLP DOI BibTeX RDF
36	Chien Pang Lu, Mango Chia-Tso Chao, Chen Hsing Lo, Chih-Wei Chang	A metal-only-ECO solver for input-slew and output-loading violations.	ISPD	2009	DBLP DOI BibTeX RDF	input skew violation, output loading, buffer insertion, eco
36	Qichang Chen, Liqiang Wang, Zijiang Yang 0006, Scott D. Stoller	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.	FASE	2009	DBLP DOI BibTeX RDF
36	Tobias Hilbrich, Matthias S. Müller, Bettina Krammer	Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications.	IWOMP	2008	DBLP DOI BibTeX RDF
36	Armin Hornung, Dapeng Zhang 0002	On-Line Detection of Rule Violations in Table Soccer.	KI	2008	DBLP DOI BibTeX RDF
36	Norman Bobroff, Andrzej Kochut, Kirk A. Beaty	Dynamic Placement of Virtual Machines for Managing SLA Violations.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
36	Nathan G. Freier	Children distinguish conventional from moral violations in interactions with a personified agent.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	personified software agent, user-centered design, children, social computing, moral development
36	A. Murali M. Rao	Policy Specification and Enforcement for Detection of Security Violations in a Mail Service.	ICIT	2006	DBLP DOI BibTeX RDF
36	Santonu Sarkar, Girish Maskeri Rama, Shubha Ramachandran	A Method for Detecting and Measuring Architectural Layering Violations in Source Code.	APSEC	2006	DBLP DOI BibTeX RDF
36	Jimin Gao, Mats Per Erik Heimdahl, David Owen 0002, Tim Menzies	On the Distribution of Property Violations in Formal Models: An Initial Study.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
36	Urs Hengartner, Peter Steenkiste	Avoiding Privacy Violations Caused by Context-Sensitive Services.	PerCom	2006	DBLP DOI BibTeX RDF
36	Pramod Ramarao, Akhilesh Tyagi, Gyungho Lee	Run-Time Support for Detection of Memory Access Violations to Prevent Buffer Overflow Exploits.	ISC	2003	DBLP DOI BibTeX RDF
30	François Cantin, Bamba Gueye, Mohamed Ali Kâafar, Guy Leduc	A Self-Organized Clustering Scheme for Overlay Networks.	IWSOS	2008	DBLP DOI BibTeX RDF	Clustering, Performance, ICS, Triangle Inequality Violations
30	Fayez Mohamood, Michael B. Healy, Sung Kyu Lim, Hsien-Hsin S. Lee	Noise-Direct: A Technique for Power Supply Noise Aware Floorplanning Using Microarchitecture Profiling.	ASP-DAC	2007	DBLP DOI BibTeX RDF	wire-length driven floorplan, noise-direct, power supply noise aware floorplanning, microarchitecture profiling, aggressive power saving techniques, power delivery network, power consumption reduction, self weighting, correlation weighting, force-directed floorplanning algorithm, power pin affinity, current consumption, di/dt control, supply-noise margin violations, clock-gating, microprocessor designers, power constraints, inductive noise, decoupling capacitances
30	Calvin Ko, Manfred Ruschitzka, Karl N. Levitt	Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach.	S&P	1997	DBLP DOI BibTeX RDF	security-critical program execution monitoring, specification-based approach, program vulnerabilities, security specifications, real-time intrusion detection system, Unix setuid root programs, system attack detection, security violations, distributed systems, synchronization, system monitoring, audit trails, formal framework
30	John A. Davidson	Asymmetric Isolation.	ACSAC	1996	DBLP DOI BibTeX RDF	asymmetric isolation, unidirectional security, risk-free multi-level security, absolute security rule enforcement, security violations, multi-level communication handshaking, multiple single-level nodes, unidirectional links, hardware-enforced security, performance, cost, security of data, legacy systems, mandatory access control, downgrading
30	Alois Ferscha, Johannes Lüthi	Estimating rollback overhead for optimism control in Time Warp.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	rollback overhead, adaptive optimism control mechanism, performance pitfall, Time Warp distributed discrete event simulation protocol, DDES protocol, overoptimistic progression, event execution, simulated future, premature event execution, causality violations, performance inefficiencies, observed model parallelism, local virtual time, LVT progression per unit CPU time, arriving messages, simulation engine, optimal CPU delay interval, rollback probability, synchronization behavior, iPSC/860, protocols, virtual machines, discrete event simulation, adaptive systems, optimal control, cost model, distributed memory multiprocessor, time warp simulation, logical processes
30	Che-Fn Yu, Virgil D. Gligor	A Specification and Verification Method for Preventing Denial of Service.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	failure absence, integrity violations, user agreements, simultaneity conditions, denial-of-service prevention, formal specification, concurrent programs, security of data, specification method, verification method
30	Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran	On the Identification of Covert Storage Channels in Secure Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	covert storage channels, Secure Xenix kernel, visible/alterable kernel variables, language code, sharing relationships, nondiscretionary access rules, false flow violations, kernel locations, audit code, time-delay variables, covert-channel handling, software engineering, identification, security of data, source code, operating systems (computers), secure systems, information-flow analysis, implementation languages
29	Cristian Lumezanu, Randolph Baden, Neil Spring, Bobby Bhattacharjee	Triangle inequality variations in the internet.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	tiv, latency, variation, triangle inequality violation
29	Suad Alagic, Mark Royer	Genericity in Java: persistent and database systems implications.	VLDB J.	2008	DBLP DOI BibTeX RDF	Java, Reflection, Transactions, Object-oriented databases, Type systems, Virtual platforms, Object persistence
29	Shrirang K. Karandikar, Charles J. Alpert, Mehmet Can Yildiz, Paul Villarrubia, Stephen T. Quay, T. Mahmud	Fast Electrical Correction Using Resizing and Buffering.	ASP-DAC	2007	DBLP DOI BibTeX RDF	electrical violation eliminator, fast electrical correction, electrical state
29	Kendra M. L. Cooper, João W. Cangussu, W. Eric Wong	An Architectural Framework for the Design and Analysis of Autonomous Adaptive Systems.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
29	Femke de Jonge, Nico Roos, Huib Aldewereld	Using DESs for Temporal Diagnosis of Multi-agent Plan Execution.	MATES	2007	DBLP DOI BibTeX RDF
29	Hoesung Ki, Seong-Jin Ahn 0001	Study on developing a security violation response checklist for the improvement of internet security management systems.	MUE	2007	DBLP DOI BibTeX RDF
29	Mini Nanua, David T. Blaauw	Receiver Modeling for Static Functional Crosstalk Analysis.	PATMOS	2006	DBLP DOI BibTeX RDF
29	Shyam K. Gupta 0001, Vikram Goyal, Anand Gupta	Malafide Intension Based Detection of Privacy Violation in Information System.	ICISS	2006	DBLP DOI BibTeX RDF
29	Robert J. Turetsky, X. Halkias	Determining shot assonance/dissonance via salience maps and the match frame principle of continuity editing.	MMM	2006	DBLP DOI BibTeX RDF
29	N. V. Arvind, K. A. Rajagopal, H. S. Ajith, Das Suparna	Path Based Approach for Crosstalk Delay Analysis.	VLSI Design	2004	DBLP DOI BibTeX RDF
29	Mirjana Mazuran, Elisa Quintarelli, Rosalba Rossato, Letizia Tanca	Mining Violations to Relax Relational Database Constraints.	DaWaK	2009	DBLP DOI BibTeX RDF
29	Azadeh Farzan, P. Madhusudan	The Complexity of Predicting Atomicity Violations.	TACAS	2009	DBLP DOI BibTeX RDF
29	Cathal Boogerd, Leon Moonen	Evaluating the relation between coding standard violations and faultswithin and across software versions.	MSR	2009	DBLP DOI BibTeX RDF
29	Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh	A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
29	Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam	Verification Framework for Detecting Safety Violations in UML Statecharts.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Model Checking, Verification, UML Statecharts
29	Lifeng Zhou, Lei Chen 0009, Hung Keng Pung, Lek Heng Ngoh	End-to-end diagnosis of QoS violations with neural network.	LCN	2008	DBLP DOI BibTeX RDF
29	Ozgur Sinanoglu, Philip Schremmer	Diagnosis, modeling and tolerance of scan chain hold-time violations.	DATE	2007	DBLP DOI BibTeX RDF
29	Yuting Chen, Shaoying Liu, Fumiko Nagoya	A Review Approach to Detecting Structural Consistency Violations in Programs.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
29	Sachin Shrivastava, Dhanoop Varghese, Vikas Narang, N. V. Arvind	Improved Approach for Noise Propagation to Identify Functional Noise Violations.	VLSI Design	2004	DBLP DOI BibTeX RDF
29	Philippe Polet, Frédéric Vanderhaegen, Peter A. Wieringa	Theory of Safety-Related Violations of System Barriers.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Barrier crossing, Hazardous conditions, Human factors, Risk analysis, Violation
29	Dae-Woon Lim, Sung-Hoon Choi, Joon-Suk Jun	Automated Detection of All Kinds of Violations at a Street Intersection Using Real Time Individual Vehicle Tracking.	SSIAI	2002	DBLP DOI BibTeX RDF	Tracking, Traffic, Enforcement
29	Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget	New Lower Bounds of Constraint Violations for Over-Constrained Problems.	CP	2001	DBLP DOI BibTeX RDF
29	Thierry Petit, Jean-Charles Régin, Christian Bessière	Meta-constraints on violations for over constrained problems.	ICTAI	2000	DBLP DOI BibTeX RDF	meta constraints, over constrained problems, Max-CSP, real-life problems, constraint programming, constraint handling, communicating sequential processes, real-world problems
29	Gene M. Alarcon, August A. Capiola, Justin Morgan, Izz Aldin Hamdan, Michael Lee	Trust Violations in Human-Human and Human-Robot Interactions: The Influence of Ability, Benevolence and Integrity Violations.	HICSS	2022	DBLP BibTeX RDF
29	Sara H. S. Almadi	Toward Investigating the Violations Roles of Pattern Grime Occurrence in Software Design Patterns: Violations Roles of Pattern Grime.	EASE	2022	DBLP DOI BibTeX RDF
29	Florian Hantke, Ben Stock	HTML violations and where to find them: a longitudinal analysis of specification violations in HTML.	IMC	2022	DBLP DOI BibTeX RDF
29	Seto Herwandito, Pawito, Prahastiwi Utari, Sri Hastjarjo	Expectancy Violations on Startup-Unicorn in Indonesia: Study about Expectancy Violations from Millennial Generation on Tokopedia E-Commerce.	EBEE	2019	DBLP DOI BibTeX RDF
29	Jeffrey D. Wall, Paul Benjamin Lowry, Jordan B. Barlow	Organizational Violations of Externally Governed Privacy and Security Rules: Explaining and Predicting Selective Violations under Conditions of Strain and Excess.	J. Assoc. Inf. Syst.	2016	DBLP DOI BibTeX RDF
29	Mariem Graa	Hybrid code analysis to detect confidentiality violations in android system. (Analyse hybride du code pour détecter les violations de la confidentialité dans le système android).		2014	RDF
29	Koen Buyens	Analyzing Software Architectures for Least Privilege Violations (Het identificeren van schendingen tegen het principe van minst privilege in software architecturen) ; Analyzing Software Architectures for Least Privilege Violations.		2012	RDF
23	Guohui Wang, Bo Zhang 0073, T. S. Eugene Ng	Towards network triangle inequality violation aware distributed systems.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	internet delay space, distributed system, analysis, triangle inequality violations, neighbor selection
23	Hamdy S. Soliman, Mohammed Omari	Application of synchronous dynamic encryption system in mobile wireless domains.	Q2SWinet	2005	DBLP DOI BibTeX RDF	dynamic encryption, flexible integrity, integrity violations, mobile network security, permutation vectors, seamless handover
23	Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam	Improving software security with a C pointer analysis.	ICSE	2005	DBLP DOI BibTeX RDF	format string violations, security aws, program analysis, programming languages, error detection, dynamic analysis, vulnerabilities, buffer overflows, software security, pointer analysis, context-sensitive, type safety, software errors
23	Horst F. Wedde, Mario Lischka	Modular authorization.	SACMAT	2001	DBLP DOI BibTeX RDF	modularity, authorization, role-based access control, conflicts, composability, violations
23	Susan Darling Urban, Lois M. L. Delcambre	Constraint Analysis: A Design Process for Specifying Operations on Objects.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	object-oriented database design environment, object-oriented database schema, flexible specification, propagation actions, constraint violations, explicit schema constraints, automatic identification, formal specification, semantics, object-oriented programming, object-oriented databases, design process, design process, formal logic, object manipulation, design alternatives, constraint analysis, Horn logic, formal representation, database constraints
22	Gareth Beddoe, Sanja Petrovic, Jingpeng Li 0001	A hybrid metaheuristic case-based reasoning system for nurse rostering.	J. Sched.	2009	DBLP DOI BibTeX RDF	Nurse rostering, Learning from failure, Case-based reasoning, Memetic algorithm, Personnel scheduling
22	Travis D. Breaux, Jonathan D. Lewis, Paul N. Otto, Annie I. Antón	Identifying vulnerabilities and critical requirements using criminal court proceedings.	SAC	2009	DBLP DOI BibTeX RDF
22	Ahmed Awad 0001, Sergey Smirnov 0002, Mathias Weske	Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	process model parsing, process model restructuring, Business process modeling, compliance checking
22	Sampson Pun, Ken Barker 0001	Privacy FP-Tree.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF	Anonymized privacy, Privacy, Database, FP-Tree, Personalized privacy
22	Loreto Bravo, Wenfei Fan, Floris Geerts, Shuai Ma 0001	Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity.	ICDE	2008	DBLP DOI BibTeX RDF
22	Bogdan D. Czejdo, Tadeusz Morzy	Knowledge, Knowledge Security, and Meta-knowledge.	WSKS (2)	2008	DBLP DOI BibTeX RDF	Knowledge Security, Meta-Knowledge, Knowledge Representation
22	Chang-Seo Park, Koushik Sen	Randomized active atomicity violation detection in concurrent programs.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	atomicity violation detection, concurrency, dynamic analysis, random testing
22	Thorsten van Ellen, Wilhelm Hasselbring	Extended exceptions for contingencies and their implications for the engineering process.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	forward recovery, resumption, reliability, exception, contingency
22	Eric Bodden, Patrick Lam 0001, Laurie J. Hendren	Finding programming errors earlier by evaluating runtime monitors ahead-of-time.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	machine learning, static analysis, runtime verification, points-to analysis, static verification
22	K. V. M. Naidu, Debmalya Panigrahi, Rajeev Rastogi	Detecting Anomalies Using End-to-End Path Measurements.	INFOCOM	2008	DBLP DOI BibTeX RDF
22	Gustavo Neuberger, Fernanda Gusmão de Lima Kastensmidt, Ricardo Reis 0001, Gilson I. Wirth, Ralf Brederlow, Christian Pacha	Statistical analysis of systematic and random variability of flip-flop race immunity in 130nm and 90nm CMOS technologies.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
22	Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel	Model checking service compositions under resource constraints.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, validation, BPEL4WS, resource modelling
22	Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum	Scaling up SLA monitoring in pervasive environments.	ESSPE	2007	DBLP DOI BibTeX RDF
22	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Path-Sensitive Inference of Function Precedence Protocols.	ICSE	2007	DBLP DOI BibTeX RDF
22	Qi Gao 0004, Feng Qin, Dhabaleswar K. Panda 0001	DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements.	SC	2007	DBLP DOI BibTeX RDF	parallel programs, anomaly detection, data movements, bug detection
22	Liqiang Wang, Scott D. Stoller	Runtime Analysis of Atomicity for Multithreaded Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Java, Concurrent programming, atomicity, data race, testing and debugging
22	Shyam K. Gupta 0001, Vikram Goyal, Bholi Patra, Sankalp Dubey, Anand Gupta	Design and Development of Malafide Intension Based Privacy Violation Detection System (An Ongoing Research Report).	ICISS	2006	DBLP DOI BibTeX RDF
22	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu	Decentralized runtime analysis of multithreaded applications.	IPDPS	2006	DBLP DOI BibTeX RDF
22	Westley Weimer	Patches as better bug reports.	GPCE	2006	DBLP DOI BibTeX RDF	localization, error, explanation, patch, bug, counterexample, bug report
22	Cecilia Metra, Martin Omaña 0001, Daniele Rossi 0001, José Manuel Cazeaux, T. M. Mak	Path (Min) Delay Faults and Their Impact on Self-Checking Circuits' Operation.	IOLTS	2006	DBLP DOI BibTeX RDF
22	Dawn J. Lawrie, Henry Feild, David W. Binkley	Syntactic Identifier Conciseness and Consistency.	SCAM	2006	DBLP DOI BibTeX RDF	Identifier Quality, Part-of-speech
22	Andrew Le Gear, Jim Buckley	Exercising control over the design of evolving software systems using an inverse application of reflexion modeling.	CASCON	2006	DBLP DOI BibTeX RDF
22	Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller	Optimized run-time race detection and atomicity checking using partial discovered types.	ASE	2005	DBLP DOI BibTeX RDF	performance, type system, atomicity, data races
22	Raymond R.-F. Liao, Andrew T. Campbell	Dynamic core provisioning for quantitative differentiated services.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	capacity dimension, point-to-multipoint congestion, virtual queue, service differentiation
22	Alexey Glebov, Sergey Gavrilov, R. Soloviev, Vladimir Zolotov, Murat R. Becer, Chanhee Oh, Rajendran Panda	Delay noise pessimism reduction by logic correlations.	ICCAD	2004	DBLP DOI BibTeX RDF
22	Malú Castellanos, Fabio Casati, Umeshwar Dayal, Ming-Chien Shan	Intelligent Management of SLAs for Composite Web Services.	DNIS	2003	DBLP DOI BibTeX RDF
22	Jlifi Boutheina, Khaled Ghédira	On the Enhancement of the Informed Backtracking Algorithm.	CP	2003	DBLP DOI BibTeX RDF
22	Shuo Chen 0001, Jun Xu 0003, Ravishankar K. Iyer, Keith Whisnant	Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors.	DSN	2002	DBLP DOI BibTeX RDF
22	Sethavidh Gertphol, Yang Yu 0009, Shriram B. Gundala, Viktor K. Prasanna, Shoukat Ali, Jong-Kook Kim, Anthony A. Maciejewski, Howard Jay Siegel	A Metric and Mixed-Integer-Programming-Based Approach for Resource Allocation in Dynamic Real-Time Systems.	IPDPS	2002	DBLP DOI BibTeX RDF