907 search results - page 126 / 182 » Monitoring of Real-Time Properties |
DSVIS
2005
Springer
14 years 1 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...
KES
2004
Springer
14 years 1 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...
EUROMICRO
2000
IEEE
14 years 18 days 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...
CONEXT
2007
ACM
14 years 4 days 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...
ENTCS
2006
13 years 8 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 ...