1490 search results - page 47 / 298 » Monitoring Mobile Code |
109
click to vote
ESSOS
2010
Springer
15 years 10 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...
129
click to vote
EAGC
2004
Springer
15 years 5 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...
124
Voted
MEMOCODE
2010
IEEE
14 years 12 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...
121
click to vote
RISE
2004
Springer
15 years 7 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...