681 search results - page 15 / 137 » Aspects for Trace Monitoring |
158
Voted
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
148
click to vote
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
131
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Traceroute is a networking tool that allows one to discover the path that packets take from a source machine, through the network, to a destination machine. It is widely used as a...
134
click to vote
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
139
Voted
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...