3387 search results - page 675 / 678 » Model-Checking for Real-Time Systems |
AROBOTS
2010
13 years 7 months ago
2010
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
CGF
2008
13 years 7 months ago
2008
In many business applications, large data workloads such as sales figures or process performance measures need to be monitored in real-time. The data analysts want to catch proble...
JPDC
2008
13 years 7 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...
CACM
2002
13 years 7 months ago
2002
Developers of context-aware services, i.e. services that make use of sensory information from the environment of their users, often find testing and demonstrating services to be di...
TSMC
2002
13 years 7 months ago
2002
Abstract--In mobile networks, the traffic fluctuation is unpredictable due to mobility and varying resource requirement of multimedia applications. Hence, it is essential to mainta...