907 search results - page 126 / 182 » Monitoring of Real-Time Properties |
119
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
90
Voted
KES
2004
Springer
15 years 9 months ago
2004
Springer
Measurement of the evolution properties of solar flares through their complete cyclic development is crucial in the studies of Solar Physics. From analysis of solar Hα images, we...
109
Voted
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
139
Voted
CONEXT
2007
ACM
15 years 7 months ago
2007
ACM
We present Cross-layer Unicast Transmission Time (X-UTT), a MAC-aware load-independent link cost metric for 802.11based wireless mesh networks. X-UTT utilizes information acquired...
143
Voted
ENTCS
2006
15 years 3 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...