6199 search results - page 310 / 1240 » Monitoring the |
193
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...
142
click to vote
CCGRID
2006
IEEE
16 years 24 days ago
2006
IEEE
We describe a high performance Grid based signal search tool for distributed diagnostic applications developed in conjunction with Rolls-Royce plc for civil aero engine condition ...
164
Voted
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
133
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
Two implementations are given for Java’s stack-inspection accesscontrol policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a different...
155
click to vote
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
Specification of monitored context properties and their influence on behavior of Web services and management activities is a prerequisite for contextsensitive operation, which is ...