1261 search results - page 209 / 253 » A Hierarchy of Temporal Properties |
RTAS
2007
IEEE
14 years 3 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
14 years 3 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
14 years 3 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...
SAFECOMP
2007
Springer
14 years 3 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...