Search results for "guarantee"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Shaoxiong Hua, Gang Qu 0001	Energy-efficient dual-voltage soft real-time system with (m, k)-firm deadline guarantee.	CASES	2004	DBLP DOI BibTeX RDF	(m, k)-firm, low-power, dynamic voltage scaling, soft real-time
19	Fang-Chang Lin, Hou-Hsin Liu	MASPG: Searching the Shortest Communication Path with the Guarantee of the Message Delivery Between Manager and Mobile Agent.	EUC	2004	DBLP DOI BibTeX RDF
19	Patrick Maier 0001	Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.	FoSSaCS	2003	DBLP DOI BibTeX RDF
19	Yuming Jiang 0001	Per-domain Packet Scale Rate Guarantee for Expedited Forwarding.	IWQoS	2003	DBLP DOI BibTeX RDF
19	Jürgen Dingel	Computer-Assisted Assume/Guarantee Reasoning with VeriSoft.	ICSE	2003	DBLP DOI BibTeX RDF
19	Jon C. R. Bennett, Kent Benson, Anna Charny, William F. Courtney, Jean-Yves Le Boudec	Delay jitter bounds and packet scale rate guarantee expedited forwarding.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	expedited forwarding, differentiated services, delay jitter
19	Byron Krauter, David Widiger	Variable frequency crosstalk noise analysis: : a methodology to guarantee functionality from dc to fmax.	DAC	2002	DBLP DOI BibTeX RDF	GCD frequency, LCM window, frequency-dependent noise, timing orthogonality, crosstalk, noise analysis, timing windows
19	Song Chong, Sangho Lee 0003, Sungho Kang	A simple, scalable, and stable explicit rate allocation algorithm for MAX-MIN flow control with minimum rate guarantee.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	asymptotic decay rate, elastic traffic services, max-min flow rate, scalibility, stability
19	Sunwoong Choi, Chongkwon Kim	TCP Throughput Guarantee Using Packet Buffering.	ICN (2)	2001	DBLP DOI BibTeX RDF
19	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	You Assume, We Guarantee: Methodology and Case Studies.	CAV	1998	DBLP DOI BibTeX RDF
19	Tetsuya Yokotani, Tatsuki Ichihashi, Masayuki Yabe	An Ultra Light Weight CAC Mechanism (UL-CAC) for Soft Guarantee in ATM Networks.	LCN	1997	DBLP DOI BibTeX RDF
19	Bengt Jonsson 0001, Yih-Kuen Tsay	Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract).	TAPSOFT	1995	DBLP DOI BibTeX RDF
19	Florian Kerber, Arjan van der Schaft	Compositional analysis for linear control systems.	HSCC	2010	DBLP DOI BibTeX RDF	linear systems, compositional reasoning, assume-guarantee reasoning, simulation relations
19	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
19	Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu	Automated assumption generation for compositional verification.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee
19	Wonhong Nam, P. Madhusudan, Rajeev Alur	Automatic symbolic compositional verification by learning assumptions.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
19	Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001	Verification of evolving software via component substitutability analysis.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning
19	Pavel Parízek, Frantisek Plásil	Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks
19	Alan Burns 0001, Tse-Min Lin	An engineering process for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile
19	Mohsen Jahanshahi, Mohammad Reza Meybodi	Performance Evaluation of TD-Learning Methods for Bandwidth Provisioning.	CIT	2007	DBLP DOI BibTeX RDF	Queuing delay guarantee, DiffServ architecture, TD-learning, Bandwidth provisioning
19	Yaqing Huang, Roch Guérin, Pranav Gupta	Supporting excess real-time traffic with active drop queue.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	quality-of-service (QoS), real-time application, queue management, service guarantee
19	Antoine Mercier 0001, Pascale Minet, Laurent George 0001	Worst case response times in a Bluetooth piconet: scheduling combining 1-RR or E-RR with FIFO or EDF.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	1-RR, E-RR, QoS, Bluetooth, EDF, FIFO, Deterministic guarantee, Worst case end-to-end response time
19	Joachim Giesen, Edgar A. Ramos, Bardia Sadri	Medial axis approximation and unstable flow complex.	SCG	2006	DBLP DOI BibTeX RDF	flow complex, stable and unstable manifolds, topological guarantee, gradient flow, medial axis approximation
19	Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola	Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	Quality of service, Peer to peer system, Dynamic system, Survivability, Persistence, Core, Churn, Probabilistic guarantee
19	Yuming Jiang 0001	A basic stochastic network calculus.	SIGCOMM	2006	DBLP DOI BibTeX RDF	independent case analysis, stochastic arrival curve, stochastic network calculus, stochastic quality of service guarantee, stochastic service curve, stochastic strict server
19	Andrew B. Kahng, Rasit Onur Topaloglu	Generation of design guarantees for interconnect matching.	SLIP	2006	DBLP DOI BibTeX RDF	design guarantee generation, interconnect matching
19	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001	Proving correctness of highly-concurrent linearisable objects.	PPoPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
19	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer	Component Verification with Automatically Generated Assumptions.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	component verification, model checking, assume-guarantee reasoning
19	Yong Feng, Yan-yuan Zhang	Virtual Disk Reconfiguration with Performance Guarantees in Shared Storage Environment.	ICITA (2)	2005	DBLP DOI BibTeX RDF	disk reconfiguration, storage transaction, load balance, storage management, performance guarantee
19	Xinyu Feng 0001, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
19	Steven Martin 0001, Pascale Minet	Holistic and Trajectory Approaches for Distributed Non-preemptive FP/DP* Scheduling.	ICN (1)	2005	DBLP DOI BibTeX RDF	trajectory approach, QoS, Fixed priority scheduling, holistic approach, deterministic guarantee, worst case end-to-end response time
19	Bo Li 0089, Roberto Battiti	Analysis of the IEEE 802.11 DCF with Service Differentiation Support in Non-saturation Conditions.	QofIS	2004	DBLP DOI BibTeX RDF	Wireless LAN, IEEE 802.11, Quality of Service Guarantee, Service Differentiation
19	Steven Martin 0001, Pascale Minet, Laurent George 0001	The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF.	SERA	2004	DBLP DOI BibTeX RDF	Trajectory approach, end-to-end response time, quality of service, earliest deadline first, holistic approach, deterministic guarantee, fixed priority, QoS network
19	Bo Li 0089, Roberto Battiti	Performance Analysis of an Enhanced IEEE 802.11 Distributed Coordination Function Supporting Service Differentiation.	QofIS	2003	DBLP DOI BibTeX RDF	Wireless LAN, IEEE 802.11, Quality of Service Guarantee, Service Differentiation
19	Steven Martin 0001, Pascale Minet, Laurent George 0001	Deterministic End-to-End Guarantees for Real-Time Applications in a DiffServ-MPLS Domain.	SERA	2003	DBLP DOI BibTeX RDF	EF class, QoS, admission control, MPLS, DiffServ, real-time constraints, deterministic guarantee, worst case end-to-end response time
19	Renaud Lepère, Christophe Rapine	An Asymptotic O(ln rho/ln ln rho)-Approximation Algorithm for the Scheduling Problem with Duplication on Large Communication Delay Graphs.	STACS	2002	DBLP DOI BibTeX RDF	Scheduling, approximation algorithm, makespan, performance guarantee, duplication, communication times
19	Jin Seek Choi, Bum Sik Bae, Hyeong Ho Lee, Hyeung Sub Lee	Round-Robin Scheduling Algorithm with Multiple Distributed Windows.	ICOIN (2)	2002	DBLP DOI BibTeX RDF	Bandwidth guarantee, Scheduling, Quality-of-service, Round-robin, Integrated services network
19	Martin Skutella	Convex quadratic and semidefinite programming relaxations in scheduling.	J. ACM	2001	DBLP DOI BibTeX RDF	unrelated machines, approximation algorithms, randomized algorithms, convex optimization, performance guarantee, scheduling theory, worst-case ratio
19	Enrico Vicario	Static Analysis and Dynamic Steering of Time-Dependent Systems.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Time-dependent systems, timeliness predictability, enumerative static analysis, dynamic task guarantee, quantitative timing estimation, Time Petri Nets, hard real-time systems
19	Ching-Chih Han, Chao-Ju Hou, Kar Shun Tsoi, Sean Ho	Dynamic Establishment and Termination of Real-Time Message Streams in Dual-Bus Networks.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Dual-bus networks, $(C,D){hbox{-}}{rm smooth}$ message model, message stream setup and tear-down, temporal QoS guarantee, distance constraint
19	P. Lin, Brahim Bensaou, Quan Long Ding, Kee Chaing Chua	A wireless fair scheduling algorithm for error-prone wireless channels.	WOWMOM	2000	DBLP DOI BibTeX RDF	error-prone channel, rate proportional guarantee, wireless fair queueing, wireless generalized processor sharing
19	Matthew B. Dwyer, Corina S. Pasareanu	Model Checking Generic Container Implementations.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic containers, Model checking, temporal logic, assume-guarantee reasoning
19	K. H. Kim, Chittur Subbaraman	Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems.	COMPSAC	1997	DBLP DOI BibTeX RDF	interconnection schemes, RTO k objects, loosely coupled real time distributed computer systems, complex real time distributed computer systems, system structuring techniques, object structuring scheme, Hitachi-UCI Data Field interprocess group communication scheme, certifiable real time DCS, object autonomy, relocation autonomy, data acceptance autonomy, design time guarantee, basic interconnection approach, operating system kernel model, DREAM kernel, guaranteed timely kernel services, multiprocessor interconnection networks, real time computing
19	Hiroyuki Kaneko, John A. Stankovic, Subhabrata Sen, Krithi Ramamritham	Integrated scheduling of multimedia and hard real-time tasks.	RTSS	1996	DBLP DOI BibTeX RDF	integrated multimedia/hard real-time task scheduling, real-time control processing, hard real-time computation, multimedia soft real-time computation, multimedia server execution, multiprocessor real-time operating systems, multiple periodic multimedia streams, graceful QoS degradation, system overload, multimedia server scheduling algorithms, algorithm performance evaluation, SGI IRIX/REACT/PRO operating system, processor scheduling, multimedia processing, guarantee
19	Injong Rhee	Optimizing a FIFO, scalable spin lock using consistent memory.	RTSS	1996	DBLP DOI BibTeX RDF	FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations
19	Stuart Shih, Young-Kuk Kim, Sang Hyuk Son	Performance evaluation of a firm real-time database system.	RTCSA	1995	DBLP DOI BibTeX RDF	firm real-time database system, criticality characteristics, StarBase, deadline guarantee ratio, performance evaluation, performance evaluation, real-time systems, timing, database management systems, average response times
19	B. M. Subraya, Anshul Kumar, Shashi Kumar	An HOL based framework for design of correct high level synthesizers.	VLSI Design	1995	DBLP DOI BibTeX RDF	HOL based framework, high level synthesizer design, design correctness guarantee, verifiable templates, synthesis module correctness, formal verification, high level synthesis, modularity, formal logic, higher order logic, verification process, formal framework
18	Vivekanand Gopalkrishnan	Querying time-series streams.	EDBT	2008	DBLP DOI BibTeX RDF
18	Jürgen Dingel	Compositional Analysis of C/C++ Programs with VeriSoft.	Acta Informatica	2006	DBLP DOI BibTeX RDF
18	Jian Li 0021, Yeqiong Song	DLB: A Novel Real-time QoS Control Mechanism for Multimedia Transmission.	AINA (1)	2006	DBLP DOI BibTeX RDF
18	Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak	From Session Causality to Causal Consistency.	PDP	2004	DBLP DOI BibTeX RDF	remote objects, shared objects, consistency models, session guarantees
18	Takao Asano	An Improved Analysis of Goemans and Williamson's LP-Relaxation for MAX SAT.	FCT	2003	DBLP DOI BibTeX RDF	Approximation algorithm, LP-relaxation, MAX SAT
18	Danai Patiyoot	Migration / Evolution of security towards wireless ATM.	ACM SIGOPS Oper. Syst. Rev.	2002	DBLP DOI BibTeX RDF
18	Shibin Song, Joseph Kee-Yin Ng, Bihai Tang	Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks.	RTCSA	1999	DBLP DOI BibTeX RDF	Real-Time ATM Networks, Statistical Delay Analysis, Efficient Delay Computation, Performance Evaluation, Self-similar Traffic
16	Nararat Ruangchaijatupon, Yusheng Ji	Proportional fairness with minimum rate guarantee scheduling in a multiuser OFDMA wireless network.	IWCMC	2009	DBLP DOI BibTeX RDF	scheduling, QoS, resource allocation, WiMAX, OFDMA, IEEE 802.16, proportional fairness
16	Mohammed Hussain, David B. Skillicorn	Guarantee-Based Access Control.	CSE (3)	2009	DBLP DOI BibTeX RDF
16	Liliana D'Errico, Michele Loreti	Assume-Guarantee Verification of Concurrent Systems.	COORDINATION	2009	DBLP DOI BibTeX RDF
16	He Zhu 0001, Fei He 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001	Data mining based decomposition for assume-guarantee reasoning.	FMCAD	2009	DBLP DOI BibTeX RDF
16	Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham	Assume-guarantee validation for STE properties within an SVA environment.	FMCAD	2009	DBLP DOI BibTeX RDF
16	Hasan Amjad, Richard Bornat	Towards Automatic Stability Analysis for Rely-Guarantee Proofs.	VMCAI	2009	DBLP DOI BibTeX RDF
16	Chi-Yin Chow, Mohamed F. Mokbel, Joe Naps, Suman Nath	Approximate Evaluation of Range Nearest Neighbor Queries with Quality Guarantee.	SSTD	2009	DBLP DOI BibTeX RDF
16	Joaquín García-Alfaro, Nora Boulahia-Cuppens, Frédéric Cuppens	Complete analysis of configuration rules to guarantee reliable network security policies.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Policy anomalies, Network security, Intrusion Detection systems, Firewalls
16	Qinglin Zhao, Danny H. K. Tsang	An Equal-Spacing-Based Design for QoS Guarantee in IEEE 802.11e HCCA Wireless Networks.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF
16	Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage	Why Standards Are Not Enough to Guarantee End-to-End Interoperability.	ICCBSS	2008	DBLP DOI BibTeX RDF	standards system-of-systems interoperability
16	Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu	Assume-Guarantee Verification for Interface Automata.	FM	2008	DBLP DOI BibTeX RDF
16	Alireza Attar, Mohammad Reza Nakhai, A. Hamid Aghvami	Cognitive Radio Game: A Framework for Efficiency, Fairness and QoS Guarantee.	ICC	2008	DBLP DOI BibTeX RDF
16	Han Qiu 0004, Yufeng Li 0002, Jiangxing Wu, Xiaozhuo Gu	Compensation Buffer Sizing for Providing User-Level QoS Guarantee of Media Flows.	ICC	2008	DBLP DOI BibTeX RDF
16	Anding Wang, Yuyang Qiu, Lili Lin, Shiju Li	An Adaptive Sub-carrier and Power Allocation Algorithm with QoS Guarantee for OFDMA System.	HPCC	2008	DBLP DOI BibTeX RDF
16	Lei Yao, Guanzhong Dai, Huixiang Zhang, Shuai Ren	Guarantee the Victorious Probability of Grid Resources in the Competition for Finite Tasks.	GPC	2008	DBLP DOI BibTeX RDF
16	Jinho Hwang, Nakpo Kim, Sangyong Kang, Jongseog Koh	A Framework for IMS Interworking Networks with Quality of Service Guarantee.	ICN	2008	DBLP DOI BibTeX RDF	IP interworking, e2e QoS, IP backbone, IMS
16	Xiliang Zhong, Cheng-Zhong Xu 0001	Energy-Aware Modeling and Scheduling for Dynamic Voltage Scaling with Statistical Real-Time Guarantee.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Real-time systems, dynamic voltage scaling, dynamic power management, power-aware scheduling
16	Cecilia Metra, Daniele Rossi 0001, T. M. Mak	Won't On-Chip Clock Calibration Guarantee Performance Boost and Product Quality?.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	fault tolerance, Reliability, VLSI, testing
16	Chunming Gao, Weian Chen, Huowang Chen	A Feedback Control Framework of Service Composition Execution for Response Time Guarantee.	ICWS	2007	DBLP DOI BibTeX RDF
16	Myeong-Soo Cheong, Byun-Gon Kim, Ce Pan, Kyung-Taek Chung, Ki-Hyun Pyun, Sang-Tae Lee, Byoung-Sil Chon	A New Packet Marking Scheme with Fairness Guarantee for DiffServ Network.	ICME	2007	DBLP DOI BibTeX RDF
16	Sagar Chaki, Ofer Strichman	Optimized L*-Based Assume-Guarantee Reasoning.	TACAS	2007	DBLP DOI BibTeX RDF
16	Guillaume Sandou, Stéphane Font, Sihem Tebbani, Arnaud Hiret, Christian Mondon	Enhanced Genetic Algorithm with Guarantee of Feasibility for the Unit Commitment Problem.	Artificial Evolution	2007	DBLP DOI BibTeX RDF
16	Tat-Chung Chau, K. Y. Michael Wong, Bo Li 0001	Optimal call admission control with QoS guarantee in a voice/data integrated cellular network.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
16	Ming Xiong, BiYu Liang, Kam-yiu Lam, Yang Guo	Quality of Service Guarantee for Temporal Consistency of Real-Time Transactions.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	probabilistic temporal consistency, quality of service, Real-time database, transactions scheduling
16	Chiheb Mahmoud, Frédéric Dimanche	Best Price Guarantee Clauses: French Riviera Hotels versus Web Based Intermediaries.	ENTER	2006	DBLP DOI BibTeX RDF
16	Jian Zhang, Maxweel Carmo, Marília Curado, Jorge Sá Silva, Fernando Boavida	Scalable Quantitative Delay Guarantee Support in DiffServ Networks Through NSIS.	Networking	2006	DBLP DOI BibTeX RDF
16	Wonhong Nam, Rajeev Alur	Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition.	ATVA	2006	DBLP DOI BibTeX RDF
16	Mikyung Kang, Abhijit Saha, Junghoon Lee, Gyung-Leen Park, Hanil Kim	A Real-Time Guarantee Scheme Based on the Runtime Message Scheduling and Error Control for the Dual Wireless Ad Hoc Sensor Network.	ICDCN	2006	DBLP DOI BibTeX RDF
16	Xuan-Hong Dang, Wee Keong Ng, Kok-Leong Ong	EStream: Online Mining of Frequent Sets with Precise Error Guarantee.	DaWaK	2006	DBLP DOI BibTeX RDF
16	Jerzy Brzezinski, Anna Kobusinska, Michal Szychowiak	Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee.	IPDPS	2006	DBLP DOI BibTeX RDF
16	Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto	Power-Aware Resource Allocation with Fair QoS Guarantee.	RTCSA	2006	DBLP DOI BibTeX RDF
16	Fumio Machida, Masahiro Kawato, Yoshiharu Maeno	Guarantee of Freshness in Resource Information Cache on WSPE: Web Service Polling Engine.	CCGRID	2006	DBLP DOI BibTeX RDF
16	José Manuel Claver, Manel Canseco, P. Agustí, Germán León	A Hardware NIC Scheduler to Guarantee QoS on High Performance Servers.	ISPA	2006	DBLP DOI BibTeX RDF
16	Gustavo Hernandez, Gérard Lachiver	Biunivocal Relation Between TSK Fuzzy Controller and PID Controller and, Guarantee and Manipulation of the Stability for the Proposed Fuzzy Controller.	CCECE	2006	DBLP DOI BibTeX RDF
16	Xiaofang Chen, Yu Yang 0013, Ganesh Gopalakrishnan, Ching-Tsun Chou	Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.	FMCAD	2006	DBLP DOI BibTeX RDF
16	Chen Dong, Jiandong Li 0001, Jing Ma	Multiple access protocol for WLAN based on adaptive token passing with fairness guarantee.	AINA (2)	2006	DBLP DOI BibTeX RDF
16	Chih-Min Chao, Yu-Chee Tseng, Li-Chun Wang 0001	Dynamic Bandwidth Allocation for Multimedia Traffic with Rate Guarantee and Fair Access in WCDMA Systems.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	Mobile computing, wireless communication, 3G, WCDMA, personal communication services, OVSF
16	Heasook Park, KapDong Kim, HaeSook Kim, Cheong Youn	A Study on Bandwidth Guarantee Method of Subscriber Based DiffServ in Access Network.	HPCC	2005	DBLP DOI BibTeX RDF
16	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning-Based Assume-Guarantee Verification (Tool Paper).	SPIN	2005	DBLP DOI BibTeX RDF
16	Linwei Niu, Gang Quan	A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee.	RTSS	2005	DBLP DOI BibTeX RDF
16	Tamal K. Dey, Wulue Zhao	Approximating the Medial Axis from the Voronoi Diagram with a Convergence Guarantee.	Algorithmica	2004	DBLP DOI BibTeX RDF	Samples, Geometric modeling, Voronoi diagram, Delaunay triangulation, Medial axis
16	Francisco José Alfaro, José L. Sánchez 0002	Tuning Buffer Size in InfiniBand to Guarantee QoS.	Euro-Par	2004	DBLP DOI BibTeX RDF
16	Ming Li 0007, Hua Zhu, Sathish Sathyamurthy, Imrich Chlamtac, Balakrishnan Prabhakaran 0001	End-to-End Framework for QoS Guarantee in Heterogeneous Wired-cum-Wireless Networks.	QSHINE	2004	DBLP DOI BibTeX RDF
16	Huayong Wang, Yiqi Dai	An Information Search Interface with Soft Real-time Guarantee.	ITCC (2)	2004	DBLP DOI BibTeX RDF
16	Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh	Assume-Guarantee Verification of Source Code with Design-Level Assumptions.	ICSE	2004	DBLP DOI BibTeX RDF
16	Kil-Woong Jang	A New Backoff Algorithm to Guarantee Quality of Service over IEEE 802.11 Wireless Local Area Networks.	WONS	2004	DBLP DOI BibTeX RDF