1 citations · 1 across the 3 of their papers we have counts for
3 papers
Towards Refinement and Generalization of Reliability Models Based on Component States
Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson
Complex system design often proceeds in an iterative fashion, starting from a high-level model and adding detail as the design matures. This process can be assisted by metamodeling…
Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation
Natasha Jarus, Sahra Sedigh Sarvestani, Ali Hurson
Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assum…
Balancing transparency, efficiency and security in pervasive systems
Mark Wenstrom, Eloisa Bentivegna, Ali Hurson
This chapter will survey pervasive computing with a look at how its constraint for transparency affects issues of resource management and security. The goal of pervasive computing…