MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstraction for Liveness." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

88 documents found, showing 1 through 10. Next 10 →

ATOM

Abstract Live Range Visibility Constraints for Adaptive Terrain Visualization
by Xiaohong Bao
…Abstract Live Range Visibility Constraints for Adaptive Terrain Visualization Xiaohong Bao…
Add To MetaCart

Abstract LiveSwarms: Adapting BitTorrent for end host multicast
by Michael Piatek, Colin Dixon, Arvind Krishnamurthy, Thomas Anderson
…Abstract LiveSwarms: Adapting BitTorrent for end host multicast Michael Piatek, Colin Dixon…
Cited by 1 (1 self) – Add To MetaCart

Liveness with (0, 1, ∞)-Counter Abstraction
by Amir Pnueli, Jessie Xu, Lenore Zuck — 2002 — In Proc. of CAV '02
…Liveness with (0; 1; 1)-Counter Abstraction ? Amir Pnueli 1 , Jessie Xu 2 , and Lenore Zuck…
Add To MetaCart

Live E! Project: Sensing the Earth
by Masaya Nakayama, Satoshi Matsuura, Hiroshi Esaki, Hideki Sunahara
…@(email omitted);, sato-mat@(email omitted);, {hiroshi, suna}@(email omitted); http://www.live-e.org Abstract. The Live E! project…
Add To MetaCart

Liveness and Fairness in Duration Calculus
by Jens Ulrik Skakkebaek — 1994 — In CONCUR'94: Concurrency Theory, LNCS 836
… to the original Duration Calculus, DCL can be used to specify and verify abstract liveness and fairness properties…
Cited by 9 (0 self) – Add To MetaCart

Abstract machines of systems biology
by Luca Cardelli — 2005 — Transactions on Computational Systems Biology
…Abstract Machines of Systems Biology Luca Cardelli Microsoft Research Abstract. Living cells…
Cited by 19 (0 self) – Add To MetaCart

On the expressive power of live sequence charts
by Werner Damm, Tobe Toben, Bernd Westphal — 2006 — In: Program Analysis and Compilation, Lect
…,toben,westphal}@(email omitted); Abstract. The Live Sequence Charts (LSC) language is a formally rigorous variant of the well-known scenario…
Cited by 2 (0 self) – Add To MetaCart

S.: Formalizing ’living guidelines’ using LASSIE: A multi-step Information Extraction Method
by Katharina Kaiser, Silvia Miksch — 2007 — In: Proceedings of the 11th Conference on Artificial Intelligence in Medicine
…, Krems, Austria {kaiser, silvia}@(email omitted); http://ieg.ifs.tuwien.ac.at Abstract. Living guidelines…
Cited by 1 (0 self) – Add To MetaCart

Evolvability
by Leslie G. Valiant
… valiant@(email omitted); Abstract. Living organisms function according to complex mechanisms that operate…
Add To MetaCart

On the expressive power of Live Sequence Charts
by Tobe Toben, Bernd Westphal — 2006 — in: Proceedings of the SofSem 2006 Poster Session
… Universität Oldenburg, Oldenburg, Germany, {toben,westphal}@(email omitted); Abstract. The Live…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB