551 search results - page 29 / 111 » Realizability of Real-Time Logics |
ASPDAC
1999
ACM
14 years 2 months ago
1999
ACM
MSCS
2002
13 years 9 months ago
2002
IAT
2005
IEEE
14 years 3 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
PAM
2012
Springer
12 years 5 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...