1490 search results - page 47 / 298 » Monitoring Mobile Code |
SP
1998
IEEE
15 years 4 months ago
1998
IEEE
ESSOS
2010
Springer
15 years 8 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
104
click to vote
EAGC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
RISE
2004
Springer
15 years 5 months ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...