13913 search results - page 2448 / 2783 » models 2007 |
208
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
210
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...
162
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Activity recognition is a hot topic in context-aware computing. In activity recognition, machine learning techniques have been widely applied to learn the activity models from lab...
171
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
171
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...