907 search results - page 82 / 182 » Monitoring of Real-Time Properties |
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
WEBI
2010
Springer
13 years 6 months ago
2010
Springer
Ranking microblogs, such as tweets, as search results for a query is challenging, among other things because of the sheer amount of microblogs that are being generated in real time...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In this paper we present initial experiments towards environmental monitoring with a mobile platform. A prototype of a pollution monitoring robot was set up which measu...
WAIM
2005
Springer
14 years 1 months ago
2005
Springer
Monitoring the real-time status of voluntary nodes is a basic task of Quality of Services (QoS) management in grid. The heterogeneity of distributed host resources is an obvious ob...