MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for ""Fairness Analysis" in Requirements Assignments." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 454,995 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Fair Bisimulation  
  • by Thomas A. Henzinger, Sriram K. Rajamani — 2000 — TACAS 00
  • … fairness constraints have either Buchi form (requiring that a transition cannot be enabled forever without…
  • Cited by 7 (0 self) – Add To MetaCart
  • Performance Analysis Of Tcp Fairness  
  • by Between Wired And, Takahiro Matsuda, Miki Yamamoto — 2002 — Proc. IEEE PIMRC’02
  • …PERFORMANCE ANALYSIS OF TCP FAIRNESS BETWEEN WIRED AND WIRELESS SESSIONS Takahiro Matsuda and Miki…
  • Add To MetaCart
  • Fairness Problem:  
  • by If N Is Inconsistent, We Refer To [bachmair, Ganzinger Resolution Theorem
  • … to guarantee fairness). With this additional requirement, we get a stronger result: If N is inconsistent…
  • Add To MetaCart
  • Fair Testing  
  • by Ed Brinksma, Arend Rensink, Walter Vogler — 1995 — INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
  • …, 1995, pp. 313--327 Fair Testing Ed Brinksma 1 , Arend Rensink 2 and Walter Vogler 3 1 University…
  • Cited by 40 (0 self) – Add To MetaCart
  • Fair Objects  
  • by Paul Gibson, Dominique Méry — 1997 — In OT98 (COTSR
  • … verifying liveness requirements. The fairness concepts are founded on the notion of objects as servers which…
  • Cited by 7 (2 self) – Add To MetaCart
  • Bounded Fairness  
  • by Nachum Dershowitz, D. N. Jayasimha — 1993 — Verification: Theory and Practice
  • … as the logic with the until operator. We argue that kTL can be used to specify bounded fairness requirements…
  • Cited by 3 (0 self) – Add To MetaCart
  • Motion Fairing  
  • by Jehee Lee, Sung Yong Shin — 1996 — In Proceedings of Computer Animation ’96
  • …Motion Fairing Jehee Lee Sung Yong Shin Computer Science Department KAIST Taejeon 305-701, Korea…
  • Cited by 5 (4 self) – Add To MetaCart
  • Max-Min Fair Flow Control Sensitive to Priorities  
  • by Panagiota Fatourou, Marios Mavronicolas, Paul Spirakis — 1999 — Proceedings of the 2nd International Conference on Principles of Distributed Systems
  • …. We introduce priority max-min fairness, as a novel and motivatable fairness condition which requires…
  • Cited by 2 (1 self) – Add To MetaCart
  • Max-Min Fair Flow Control Sensitive to Priorities  
  • by Panagiota Fatourou Marios, Marios Mavronicolas, Paul Spirakis — 1998 — Proceedings of the 2nd International Conference on Principles of Distributed Systems
  • …. We introduce priority max-min fairness, as a novel and motivatable fairness condition which requires…
  • Add To MetaCart
  • Fairness in Scheduling  
  • by Miklos Ajtai, James Aspnes, Moni Naor, Yuval Rabani, Leonard J. Schulman, Orli Waarts — 1998
  • … as the driver. A scheduling rule is required so that the driver will be determined in a `fair' way. We…
  • Cited by 9 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB