6 search results - page 2 / 2 » Modeling Long-Running Transactions with Communicating Hierar... |
ICECCS
2009
IEEE
14 years 3 days ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...