3387 search results - page 283 / 678 » Model-Checking for Real-Time Systems |
213
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
The convergence of computers and the physical world is the theme for next generation networking research. This trend calls for real-time network infrastructure, which requires a h...
216
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
231
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
· Modelling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst-case conditions and to...
227
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Anomaly-based intrusion detection systems have the ability of detecting novel attacks, but in real-time detection, they face the challenges of producing many false alarms and f...
232
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Cluster computing has emerged as a new paradigm for solving large-scale problems. To enhance QoS and provide performance guarantees in cluster computing environments, various real...