Reduction-based schedulability analysis of distributed systems with cycles in the task graph

By Jayachandran Praveen   Abdelzaher Tarek  

Real-Time Systems, Vol. 46, Iss. 1, 2010-09 ,pp. : 121-151

Springer Publishing Company

Access to resources Recommend Favorite

Compositional software verification based on game semantics and process algebra

By Dimovski Aleksandar   Lazić Ranko  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 37-51

Springer Publishing Company

Access to resources Recommend Favorite

Semantics-based representation of virtual environments

By Gutierrez Mario   Vexo Frederic   Thalmann Daniel  

International Journal of Computer Applications in Technology, Vol. 23, Iss. 2-3, 2005-03 ,pp. : 229-238

Inderscience Publishers

Access to resources Recommend Favorite

Hypergraph-based Wikipedia search with semantics

By Sadasivam G. Sudha   Saranya K.G.   Karrthik K.G.  

International Journal of Web Science, Vol. 2, Iss. 1-2, 2013-09 ,pp. : 66-79

Inderscience Publishers

Access to resources Recommend Favorite

Computing in unpredictable environments: semantics, reduction strategies, and program transformations

By Lisper B.  

Theoretical Computer Science, Vol. 190, Iss. 1, 1998-01 ,pp. : 61-85

Elsevier

Access to resources Recommend Favorite