1633 search results - page 285 / 327 » On the Verification of Temporal Properties |
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we present a new approach for curve clustering designed for analysis of spatiotemporal data. Such kind of data contains both spatial and temporal patterns that we de...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a comprehensive statistical analysis of workloads collected on data-intensive clusters and Grids. The analysis is conducted at different levels, including Virt...
RTAS
2007
IEEE
15 years 6 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
RTCSA
2007
IEEE
15 years 6 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
MIMI
2007
Springer
15 years 6 months ago
2007
Springer
Previous studies have witnessed that complex brain networks have the properties of high global and local efficiency. In this study, we investigated the gender effect on brain funct...