|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7899 occurrences of 3873 keywords
|
|
|
Results
Found 9063 publication records. Showing 9063 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
52 | Xinyu Feng 0001 |
Local rely-guarantee reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 315-327, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 97-108, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 17(2), pp. 7:1-7:52, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assume-guarantee reasoning |
41 | Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 363-377, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Sagar Chaki, Ofer Strichman |
Three optimizations for Assume-Guarantee reasoning with L*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(3), pp. 267-284, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(3), pp. 175-205, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLAT ![In: Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 5, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings, pp. 825-833, 2006, Springer, 3-540-47242-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV, pp. 1166-1174, 2006, Springer, 3-540-34077-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 164-173, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 11(6), pp. 994-1006, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 234-251, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, learning, Assume-guarantee reasoning |
34 | Yuming Jiang 0001 |
Per-domain packet scale rate guarantee for expedited forwarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(3), pp. 630-643, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(2), 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 244-263, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 119-126, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 602-607, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(3), pp. 193-213, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India, pp. 213-218, 2005, IEEE Computer Society, 0-7695-2264-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Emmanuel Lochin, Pascal Anelli |
TCP throughput guarantee in the DiffServ Assured Forwarding service: what about the results? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 64(3-4), pp. 215-224, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 16(2), pp. 245-258, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 13(5), pp. 679-690, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet, 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007, Proceedings, pp. 808-819, 2007, Springer, 978-3-540-72605-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 530-538, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 636-657, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(6), pp. 625-639, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 332-348, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings, pp. 242-249, 1999, IEEE Computer Society, 0-7695-0240-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Eugene W. Stark |
A Proof Technique for Rely/Guarantee Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 369-391, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 633-, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 6th International Conference on Electronic Commerce, ICEC 2004, Delft, The Netherlands, October 25-27, 2004, pp. 213-218, 2004, ACM, 1-58113-930-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Third International Conference on Knowledge Discovery and Data Mining, WKDD 2010, Phuket, Thailand, 9-10 January 2010, pp. 323-325, 2010, IEEE Computer Society, 978-0-7695-3923-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESIAT (2) ![In: 2009 International Conference on Environmental Science and Information Application Technology, ESIAT 2009, Wuhan, China, 4-5 July 2009, 3 Volumes, pp. 175-177, 2009, IEEE Computer Society, 978-0-7695-3682-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the Seventh ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, Haikou, China, 2-4 December 2009, pp. 153-155, 2009, IEEE Computer Society, 978-0-7695-3903-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: The 10th International Symposium on Pervasive Systems, Algorithms, and Networks, ISPAN 2009, Kaohsiung, Taiwan, December 14-16, 2009, pp. 533-538, 2009, IEEE Computer Society, 978-0-7695-3908-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 191-198, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 12(2), pp. 223-232, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 8(3), pp. 307-328, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(2), pp. 257-271, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 242-247, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 34-39, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 3(6), pp. 683-689, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings, pp. 22-37, 2007, Springer, 978-3-540-74590-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(6), pp. 538-549, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 561-566, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Chang Li, Gang Peng, Kartik Gopalan, Tzi-cker Chiueh |
Performance Guarantee for Cluster-Based Internet Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 9th International Conference on Parallel and Distributed Systems, ICPADS 2002, Taiwan, ROC, December 17-20, 2002, pp. 327-, 2002, IEEE Computer Society, 0-7695-1760-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Patrick Maier 0001 |
A Set-Theoretic Framework for Assume-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 821-834, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu |
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 275-290, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Bikram S. Bakshi, P. Krishna, Dhiraj K. Pradhan, Nitin H. Vaidya |
Providing Seamless Communication in Mobile Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 535-543, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 81239-81249, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Shihua Wang, Luo Jianhua |
Research on Commercial Credit Guarantee Model Based on Guarantee Premium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEE ![In: The International Conference on E-Business and E-Government, ICEE 2010, 7-9 May 2010, Guangzhou, China, Proceedings, pp. 4347-4351, 2010, IEEE Computer Society, 978-0-7695-3997-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 15(2), pp. 141-161, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: 16th International Workshop on Quality of Service, IWQoS 2008, University of Twente, Enskede, The Netherlands, 2-4 June 2008., pp. 269-278, 2008, IEEE, 978-1-4244-2084-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(8), pp. 3080-3089, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Viktor Vafeiadis, Matthew J. Parkinson |
A Marriage of Rely/Guarantee and Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 256-271, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Hongxia Yin, Zhi Wang 0003, Youxian Sun |
Enhanced WFQ Algorithm with (m, k)-Firm Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers, pp. 339-346, 2004, Springer, 3-540-28128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Myoung Hun Kim, Hong-Shik Park |
Superposed Multiple QoS Guarantee in Optical Access Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human.Society@Internet 2003 ![In: Web Communication Technologies and Internet-Related Social Issues - HSI 2003, Second International Conference on Human Society@Internet, Seoul, Korea, June 18-20, 2003, Proceedings, pp. 619-625, 2003, Springer, 3-540-40456-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking, Networking Technologies for Enhanced Internet Services International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003, Revised Selected Papers, pp. 3-13, 2003, Springer, 3-540-40827-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
An assume-guarantee rule for checking simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(1), pp. 51-64, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 465-479, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
Assume-Guarantee Refinement Between Different Time Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 208-221, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 168-183, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
An Assume-Guarantee Rule for Checking Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings, pp. 421-432, 1998, Springer, 3-540-65191-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 22nd IEEE Conference on Local Computer Networks (LCN '97), 2-5 November 1997, Minneapolis, Minnesota, USA, Proceedings, pp. 294-303, 1997, IEEE Computer Society, 0-8186-8141-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
A Minimized Assumption Generation Method for Component-Based Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 277-291, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 169-178, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 20, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 1(3), pp. 346-380, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 512-528, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(2), pp. 339-369, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 175-188, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
local guarantee, concurrency, assembly |
22 | Ralph-Johan Back, Joakim von Wright |
Compositional Action System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 103-117, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 312-319, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 24-26 October 1997, Gold Coast, Australia, Proceedings, pp. 322-333, 1997, IEEE Computer Society, 0-8186-8031-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 512, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(9), pp. 1534-1549, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings, pp. 233-247, 2009, Springer, 978-3-642-01928-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard |
Progress guarantee for parallel programs via bounded lock-freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 144-154, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 146-160, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou |
Automated Assume-Guarantee Reasoning by Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 135-148, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings, pp. 4-16, 2008, Springer, 978-3-540-88581-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Cliff B. Jones, Ken G. Pierce |
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 360-377, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Gang Peng, Tzi-cker Chiueh |
Availability and Fairness Support for Storage QoS Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China, pp. 589-596, 2008, IEEE Computer Society, 978-0-7695-3172-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 214-221, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDM ![In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 384-389, 2007, IEEE, 1-4244-0705-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao |
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 173-188, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Krishnendu Chatterjee, Thomas A. Henzinger |
Assume-Guarantee Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 261-275, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 5(6), pp. 738-754, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(6), pp. 1012-1021, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(7), pp. 717-729, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
Assume-Guarantee Software Verification Based on Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 529-548, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking, Advances in Data Communications and Wireless Networks, International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers, pp. 132-145, 2006, Springer, 3-540-48563-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sagar Chaki, Nishant Sinha 0001 |
Assume-Guarantee Reasoning for Deadlock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 134-144, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001, Prasanna Thati |
Automated Assume-Guarantee Reasoning for Simulation Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 534-547, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKING ![In: NETWORKING 2005: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems, 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005, Proceedings, pp. 623-633, 2005, Springer, 3-540-25809-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 2646-2657, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Hailan Yang, Gongyi Wu, Jianzhong Zhang 0003 |
On-Demand Resource Allocation for Service Level Guarantee in Grid Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30 - December 3, 2005, Proceedings, pp. 678-689, 2005, Springer, 3-540-30510-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy, 2005, IEEE, 0-7803-9401-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ahmed H. Salem, Anup Kumar |
Power Optimization in Mobile Networks Using Genetic Algorithm to Guarantee QoS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Intelligent Information Technology, 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings, pp. 147-159, 2004, Springer, 3-540-24126-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 325-339, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 9063 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|