Browsing by Subject "Complex Processes"

Now showing items 1-2 of 2

    • Conference Object  

      A framework for dynamic validation of context-aware applications 

      Achilleos, Achilleas P.; Kapitsaki, Georgia M.; Papadopoulos, George Angelos (2012)
      The development of context-aware applications is a complex process that involves the tasks of analysis, design, validation and implementation. This process is typically performed using context modelling approaches that ...
    • Article  

      Verification techniques for distributed algorithms 

      Philippou, Anna; Michael, G. (2006)
      A value-passing, asynchronous process calculus and its associated theory of confluence are considered as a basis for establishing the correctness of distributed algorithms. In particular, we present an asynchronous version ...