Search results for "guarantee"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Xinyu Feng 0001	Local rely-guarantee reasoning.	POPL	2009	DBLP DOI BibTeX RDF	rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
45	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.	ISSTA	2006	DBLP DOI BibTeX RDF	assume-guarantee reasoning
42	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Assume-guarantee reasoning
41	Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis	Deny-Guarantee Reasoning.	ESOP	2009	DBLP DOI BibTeX RDF
38	Sagar Chaki, Ofer Strichman	Three optimizations for Assume-Guarantee reasoning with L*.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Learning, Software verification, Compositionality, Assume-Guarantee
38	Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer	Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
38	Raffi Khatchadourian, Neelam Soundarajan	Rely-guarantee approach to reasoning about aspect-oriented programs.	SPLAT	2007	DBLP DOI BibTeX RDF	aspect-oriented software, modular verification, rely-guarantee
38	Jerzy Brzezinski, Anna Kobusinska, Jacek Kobusinski	Safety of Rollback-Recovery Protocol Maintaining WFR Session Guarantee.	ISCIS	2006	DBLP DOI BibTeX RDF	Writes Follow Reads session guarantee, fault tolerance, rollback-recovery, large scale system, mobile users
38	Jerzy Brzezinski, Anna Kobusinska	Safety of Recovery Protocol Preserving MW Session Guarantee in Mobile Systems.	ICCSA (4)	2006	DBLP DOI BibTeX RDF	Monotonic Writes session guarantee, safety, mobile systems, rollback-recovery
38	Too-Seng Tia, Zhong Deng, Mallikarjun Shankar, Matthew F. Storch, Jun Sun 0002, L.-C. Wu, Jane W.-S. Liu	Probabilistic performance guarantee for real-time tasks with varying computation times.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	probabilistic performance guarantee, varying computation times, schedulability analysis methods, semi-periodic tasks, regularly released requests, total maximum task utilization, probabilistic time-demand analysis, transform-task method, scheduling, real-time systems, computational complexity, probability, scheduling algorithms, software performance evaluation, programming theory, sporadic task, real-time tasks
37	Peng Yong Kong, Kee Chaing Chua, Brahim Bensaou	A novel scheduling scheme to share dropping ratio while guaranteeing a delay bound in a multiCode-CDMA network.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	multicode-CDMA, proportional dropping ratio guarantee, upper delay guarantee, variable capacity
37	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
34	Yuming Jiang 0001	Per-domain packet scale rate guarantee for expedited forwarding.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	expedited forwarding (EF), packet scale rate guarantee (PSRG), per-domain behavior, per-hop behavior (PHB), differentiated services (DiffServ)
34	Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu	Assume-guarantee testing.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	verification, testing, assume-guarantee reasoning, predictive analysis
34	Neil Henderson	Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method.	FME	2003	DBLP DOI BibTeX RDF	assertion networks, asynchronous communication, rely-guarantee
34	Koji Hashimoto, Yoshitaka Shibata, Norio Shiratori	Flexible Multimedia System Architecture with Adaptive QoS Guarantee Functions.	ICPADS	2000	DBLP DOI BibTeX RDF	Adaptive QoS Guarantee Functions, Flexible Multimedia System, Multimedia Teleconference, Mobile Agent, Multimedia Communication
34	Koji Hashimoto, Yoshitaka Shibata, Norio Shiratori	System Organization Protocol for Flexible Multimedia System with QoS Guarantee Functions.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	organization protocols, QoS guarantee functions, mobile agent, multimedia system, system architecture
34	Jürgen Dingel, David Garlan, Somesh Jha, David Notkin	Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Rely/guarantee, Assumption/commitment, Implicit invocation
34	Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001	Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.	VLSI Design	2005	DBLP DOI BibTeX RDF
31	Emmanuel Lochin, Pascal Anelli	TCP throughput guarantee in the DiffServ Assured Forwarding service: what about the results?	Ann. des Télécommunications	2009	DBLP DOI BibTeX RDF	End to end guarantee, Assured forwarding, QoS, TCP, DiffServ
31	Xuan-Hong Dang, Wee Keong Ng, Kok-Leong Ong	Online mining of frequent sets in data streams with error guarantee.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Frequent set mining, Error guarantee, Data mining, Data stream, Online algorithm
31	Sinem Coleri Ergen, Pravin Varaiya	Energy efficient routing with delay guarantee for sensor networks.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Sensor networks, Routing, Energy efficiency, Linear programming, Delay guarantee
31	Francisco J. Rodríguez-Pérez, José Luis González Sánchez 0003, Alfonso Gazo-Cervero	RSVP-TE Extensions to Provide Guarantee of Service to MPLS.	Networking	2007	DBLP DOI BibTeX RDF	Guarantee of Service, RSVP-TE, MPLS, local recoveries
31	Jerzy Brzezinski, Anna Kobusinska, Michal Szychowiak	Rollback-Recovery Protocol Guarantying MR Session Guarantee in Distributed Systems with Mobile Clients.	Euro-Par	2006	DBLP DOI BibTeX RDF	Monotonic Reads session guarantee, safety, mobile systems, rollback-recovery
31	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.	FME	2003	DBLP DOI BibTeX RDF	rely/guarantee, deadlock, parallel systems, event-based systems, auxiliary variables
31	Andrew Kay, Joy N. Reed	A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
31	Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen	Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.	FSTTCS	1990	DBLP DOI BibTeX RDF	Rely-guarantee specification, transition systems, compositional verification, safety properties, shared variables
30	Luca Abeni, Giorgio C. Buttazzo	QoS guarantee using probabilistic deadlines.	ECRTS	1999	DBLP DOI BibTeX RDF
30	Eugene W. Stark	A Proof Technique for Rely/Guarantee Properties.	FSTTCS	1985	DBLP DOI BibTeX RDF
30	Ernst W. Biersack, Frédéric Thiesse	Statistical Admission Control in Video Servers with Variable Bit-Rate Streams and Constant Time Length Retrieva.	EUROMICRO	1996	DBLP DOI BibTeX RDF	statistical admission control, constant time length retrieval, server disk, statistical service guarantee, deterministic service guarantee, quality of service, performance evaluation, video servers, network servers, disk storage, variable bit rate streams, I/O bandwidth
29	Masamitsu Moriyama, Kentaro Takemoto, Takio Shimosakon	Risk management for electronic commerce between Japan and China.	ICEC	2004	DBLP DOI BibTeX RDF	electronic commerce (EC), trade guarantee, risk management
27	Xiushu Tian, Yingna Liu, Dongmei Liu, Yuhong Li, Ming Yang	Construction of Quality Guarantee System in Higher Education in China.	WKDD	2010	DBLP DOI BibTeX RDF	popular education, quality guarantee system, higher education
27	Xuying Yuan, Yijin Wu, Bei Huang, Wei Liao, Shuang Liang, Liangyue Tian, Xi Huang, Hao Zhang	The Construction for Guarantee and Ability of Early Warning and Response of Water Pollution Emergencies in Wuhan City, China.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	The Construction for Guarantee, Water Pollution Emergencies, Early Warning
27	Zhang Kun, Li Zhuang, Teng Guo Ku	The Systemic Research on the Enterprise Production Planning with Guarantee Period Based on Wagner-Whitin Algorithm.	SERA	2009	DBLP DOI BibTeX RDF	MRP, Production with guarantee period, Wagner-Whitin Algorithm
27	Wenbin Jiang, Haixiang Li, Hai Jin 0001, Xiaofei Liao	Service Guarantee for Inter-domain Movement in Wireless Peer-to-Peer Live Streaming System.	ISPAN	2009	DBLP DOI BibTeX RDF	wireless live streaming, peer-to-peer, mobility support, service guarantee
27	Alexandros Ntoulas, Junghoo Cho	Pruning policies for two-tiered inverted index with correctness guarantee.	SIGIR	2007	DBLP DOI BibTeX RDF	correctness guarantee, pruning, web search engines, inverted index
27	Jiann-Liang Chen, Nong-Kun Chen	Feedback Closed-Loop Scheduling Discipline for QoS Guarantee in Mobile Applications.	Wirel. Networks	2006	DBLP DOI BibTeX RDF	highly interactive e-learning system, wireless mobile communications, closed-loop scheduling discipline, feedback control, quality-of-service guarantee
27	Alexander A. Ageev, Maxim Sviridenko	Pipage Rounding: A New Method of Constructing Algorithms with Proven Performance Guarantee.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	rounding technique, maximum coverage, approximation algorithm, performance guarantee, max cut, linear relaxation
27	Si Wu 0001, K. Y. Michael Wong, Bo Li 0001	A dynamic call admission policy with precision QoS guarantee using stochastic control for mobile wireless networks.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	call admission control, QoS guarantee, mobile wireless networks
27	Yinggang Xie, Tao Yang	Efficient admission control for EDF scheduler with statistical QoS guarantee.	ICCCN	1997	DBLP DOI BibTeX RDF	statistical QoS guarantee, optimal discarding policy, stationary Gaussian approximation method, weighted Gaussian method, minimum bandwidth requirement, numerical results, integrated-services packet networks, admission control, packet switching, earliest deadline first, traffic flows, EDF scheduler, queueing delay, aggregate traffic
27	Dimitrios Kagaris, Spyros Tragoudas	A multiseed counter TPG with performance guarantee.	ICCD	1996	DBLP DOI BibTeX RDF	built-in test pattern generators, multiseed counter test pattern generator, low hardware overhead, fast CAD tool, ISCAS'85 benchmarks, hardware/time overhead, built-in self test, performance guarantee, test set generation
27	Geoffrey G. Xie, Simon S. Lam	Delay guarantee of virtual clock server.	IEEE/ACM Trans. Netw.	1995	DBLP DOI BibTeX RDF	rate-based service discipline, throughput guarantee, packet switching, priority queue, virtual clock
27	David Aspinall 0001, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
27	Yang Xiao 0001, Yi Pan 0001	Differentiation, QoS Guarantee, and Optimization for Real-Time Traffic over One-Hop Ad Hoc Networks.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	Distributed medium access control, quality of service, ad hoc networks, IEEE 802.11, real-time transmission
27	Dong Wang, Jeremy R. Levitt	Automatic assume guarantee analysis for assertion-based formal verification.	ASP-DAC	2005	DBLP DOI BibTeX RDF
27	Chang Li, Gang Peng, Kartik Gopalan, Tzi-cker Chiueh	Performance Guarantee for Cluster-Based Internet Services.	ICPADS	2002	DBLP DOI BibTeX RDF
27	Patrick Maier 0001	A Set-Theoretic Framework for Assume-Guarantee Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
27	Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu	Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.	HSCC	2001	DBLP DOI BibTeX RDF
26	Bikram S. Bakshi, P. Krishna, Dhiraj K. Pradhan, Nitin H. Vaidya	Providing Seamless Communication in Mobile Wireless Networks.	LCN	1996	DBLP DOI BibTeX RDF	seamless communication, active hand-offs, active connection, connection throughput, network bandwidth usage, multicast based approach, unicast based approach, fast-retransmit approach, staggered multicast approach, probablistic guarantee, performance, wireless network, TCP, communication protocol, experimental results, data communication, data transfer, mobile wireless networks
24	Guojian Ma, Youqing Lv, Junjie Wei	The Optimal Investment and Re-Guarantee Purchase of China's Financing Guarantee Institutions Considering Risk Preference.	IEEE Access	2022	DBLP DOI BibTeX RDF
24	Shihua Wang, Luo Jianhua	Research on Commercial Credit Guarantee Model Based on Guarantee Premium.	ICEE	2010	DBLP DOI BibTeX RDF
23	Yang Xiao 0001, Frank Haizhon Li, Sunghyun Choi 0001	Two-level protection and guarantee for multimedia traffic in IEEE 802.11e distributed WLANs.	Wirel. Networks	2009	DBLP DOI BibTeX RDF	Quality of Service (QoS), Wireless LAN, Admission control, Medium access control (MAC), IEEE 802.11e
23	Zvi Rosberg	Control Plane for End-to-End QoS Guarantee: A Theory and Its Application.	IWQoS	2008	DBLP DOI BibTeX RDF
23	Hyang-Won Lee, Song Chong	Combined packet scheduling and call admission control with minimum throughput guarantee in wireless networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
23	Viktor Vafeiadis, Matthew J. Parkinson	A Marriage of Rely/Guarantee and Separation Logic.	CONCUR	2007	DBLP DOI BibTeX RDF
23	Hongxia Yin, Zhi Wang 0003, Youxian Sun	Enhanced WFQ Algorithm with (m, k)-Firm Guarantee.	ICESS	2004	DBLP DOI BibTeX RDF
23	Myoung Hun Kim, Hong-Shik Park	Superposed Multiple QoS Guarantee in Optical Access Networks.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
23	Sayed Vahid Azhari, Nasser Yazdani, Ali Mohammad Zareh Bidoki	Providing Delay Guarantee in Input Queued Switches: A Comparative Analysis of Scheduling Algorithms.	ICOIN	2003	DBLP DOI BibTeX RDF
23	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An assume-guarantee rule for checking simulation.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	verification rules, Simulation relations
23	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler	Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.	TACAS	2001	DBLP DOI BibTeX RDF
23	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Assume-Guarantee Refinement Between Different Time Scales.	CAV	1999	DBLP DOI BibTeX RDF
23	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001	Assume-Guarantee Model Checking of Software: A Comparative Case Study.	SPIN	1999	DBLP DOI BibTeX RDF
23	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An Assume-Guarantee Rule for Checking Simulation.	FMCAD	1998	DBLP DOI BibTeX RDF
23	William Lindsay, Parameswaran Ramanathan	DBP-M: A technique for meeting end-to-end \firm{m}{k} \\ guarantee requirements in point-to-point networks.	LCN	1997	DBLP DOI BibTeX RDF
22	Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama	A Minimized Assumption Generation Method for Component-Based Software Verification.	ICTAC	2009	DBLP DOI BibTeX RDF	minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning
22	Uriel Feige, Nicole Immorlica, Vahab S. Mirrokni, Hamid Nazerzadeh	A combinatorial allocation mechanism with penalties for banner advertising.	WWW	2008	DBLP DOI BibTeX RDF	structural approximation, supply guarantee, combinatorial auctions, internet advertising
22	Leïla Azouz Saïdane, Slim Ben Ayed, Pascale Minet, Antoine Mercier 0001	Deterministic and Probabilistic QoS Guarantees in a Bluetooth Piconet with 1-RR/FIFO Scheduling.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	1-RR/FIFO, quantitative guarantee, QoS, Bluetooth
22	Xiaodong Li, Zhenmin Li, Yuanyuan Zhou, Sarita V. Adve	Performance directed energy management for main memory and disks.	ACM Trans. Storage	2005	DBLP DOI BibTeX RDF	Disk energy management, memory energy management, multiple-power mode device, low-power design, adaptation algorithms, performance guarantee, control algorithms
22	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001	Dynamic Component Substitutability Analysis.	FM	2005	DBLP DOI BibTeX RDF	Verification of Evolving Software, Learning Regular Sets, Assume/Guarantee Reasoning, Software Model Checking
22	Rajeev Alur, Radu Grosu	Modular refinement of hierarchic reactive machines.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
22	Dachuan Yu, Zhong Shao	Verification of safety properties for concurrent assembly code.	ICFP	2004	DBLP DOI BibTeX RDF	local guarantee, concurrency, assembly
22	Ralph-Johan Back, Joakim von Wright	Compositional Action System Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Rely/guarantee, Refinement, Compositionality, Action systems
22	Song Wang, Yu-Chung Wang, Kwei-Jay Lin	A Priority-Based Weighted Fair Queuing Scheduler for Real-Time Network.	RTCSA	1999	DBLP DOI BibTeX RDF	PWFQ, bandwidth guarantee, sliding window, delay bound, Real-Time Network, Weighted Fair Queuing
22	Takeo Hamada, Stephanie Hogg, Jarno Rajahalme, Carlo Licciardi, Lill Kristiansen, Per Fly Hansen	Service quality in TINA-quality of service trading in open network architecture.	EDOC	1997	DBLP DOI BibTeX RDF	TINA service architecture, quality of service trading, open network architecture, enterprise level QoS issues, QoS evolution paths, TINA stream binding, soft stream quality guarantee, progressive service quality evolution, open systems, resource reservation, service quality
22	Hanrijanto Sariowan, Rene L. Cruz, George C. Polyzos	Scheduling for quality of service guarantees via service curves.	ICCCN	1995	DBLP DOI BibTeX RDF	service curve guarantee, traffic burstiness constraint, schedulability region, rate proportional assignment, service curve based earliest deadline first, delay, throughput, packet switching, server, packet switched networks, quality of service guarantees, service provisioning, scheduling policy, virtual circuits, PGPS, virtual clock
19	Jinpeng Huai, Ting Deng, Xianxian Li, Zongxia Du, Huipeng Guo	AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	correctness constraints, L* algorithm, synthesis, composite service, business protocol
19	Tyrel Russell, Peter van Beek	Determining the Number of Games Needed to Guarantee an NHL Playoff Spot.	CPAIOR	2009	DBLP DOI BibTeX RDF
19	Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard	Progress guarantee for parallel programs via bounded lock-freedom.	PLDI	2009	DBLP DOI BibTeX RDF	bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation
19	Joey W. Coleman	Expression Decomposition in a Rely/Guarantee Context.	VSTTE	2008	DBLP DOI BibTeX RDF
19	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou	Automated Assume-Guarantee Reasoning by Abstraction Refinement.	CAV	2008	DBLP DOI BibTeX RDF
19	Yu Wang 0003, Chih-Wei Yi, Fan Li 0001	Delivery Guarantee of Greedy Routing in Three Dimensional Wireless Networks.	WASA	2008	DBLP DOI BibTeX RDF
19	Cliff B. Jones, Ken G. Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.	ABZ	2008	DBLP DOI BibTeX RDF
19	Gang Peng, Tzi-cker Chiueh	Availability and Fairness Support for Storage QoS Guarantee.	ICDCS	2008	DBLP DOI BibTeX RDF
19	Cássia Yuri Tatibana, Carlos Montez, Rômulo Silva de Oliveira	Real-Time Dynamic Guarantee in Component-Based Middleware.	ISORC	2007	DBLP DOI BibTeX RDF
19	Jian-Hong Wang, Jen-Yi Pan, Yi-Chi Cheng	Session recognition and Bandwidth Guarantee for Encrypted Internet Voice Traffic : Case Study of Skype.	CIDM	2007	DBLP DOI BibTeX RDF
19	Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao	On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.	ESOP	2007	DBLP DOI BibTeX RDF
19	Krishnendu Chatterjee, Thomas A. Henzinger	Assume-Guarantee Synthesis.	TACAS	2007	DBLP DOI BibTeX RDF
19	Emad A. Felemban, Chang-Gun Lee, Eylem Ekici	MMSPEED: Multipath Multi-SPEED Protocol for QoS Guarantee of Reliability and Timeliness in Wireless Sensor Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	localized routing protocol, simulations, QoS, sensor networks, reliability, real-time, System design, service differentiation
19	Wenjie Li, Bin Liu 0001, Yang Xu 0010, Heng Liao	Parallel Switch System with QoS Guarantee for Real-Time Traffic.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	QoS, load-balancing, parallel, priority, switch system
19	Linwei Niu, Gang Quan	Energy minimization for real-time systems with (m, k)-guarantee.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
19	Aleksandar S. Dimovski, Ranko Lazic 0001	Assume-Guarantee Software Verification Based on Game Semantics.	ICFEM	2006	DBLP DOI BibTeX RDF
19	Saeid Montazeri, Reza Berangi, Mahmood Fathy	A New Distributed Scheduling Algorithm to Guarantee QoS Parameters for 802.11e WLAN.	ICOIN	2006	DBLP DOI BibTeX RDF
19	Sagar Chaki, Nishant Sinha 0001	Assume-Guarantee Reasoning for Deadlock.	FMCAD	2006	DBLP DOI BibTeX RDF
19	Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001, Prasanna Thati	Automated Assume-Guarantee Reasoning for Simulation Conformance.	CAV	2005	DBLP DOI BibTeX RDF
19	Young Min Ki, Eun Sun Kim, Sung Il Woo, Dong Ku Kim	Downlink Packet Scheduling with Minimum Throughput Guarantee in TDD-OFDMA Cellular Network.	NETWORKING	2005	DBLP DOI BibTeX RDF
19	Emad A. Felemban, Chang-Gun Lee, Eylem Ekici, Ryan Boder, Serdar Vural	Probabilistic QoS guarantee in reliability and timeliness domains in wireless sensor networks.	INFOCOM	2005	DBLP DOI BibTeX RDF
19	Hailan Yang, Gongyi Wu, Jianzhong Zhang 0003	On-Demand Resource Allocation for Service Level Guarantee in Grid Environment.	GCC	2005	DBLP DOI BibTeX RDF
19	Cássia Yuri Tatibana, Rômulo Silva de Oliveira, Carlos Montez	Dynamic guarantee in component-based distributed real-time systems.	ETFA	2005	DBLP DOI BibTeX RDF
19	Ahmed H. Salem, Anup Kumar	Power Optimization in Mobile Networks Using Genetic Algorithm to Guarantee QoS.	CIT	2004	DBLP DOI BibTeX RDF
19	Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen	Trust Management in Strand Spaces: A Rely-Guarantee Method.	ESOP	2004	DBLP DOI BibTeX RDF