5200 search results - page 930 / 1040 » Symbolic models for control systems |
RTSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
RTSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Mission-critical target detection imposes stringent performance requirements for wireless sensor networks, such as high detection probabilities and low false alarm rates. Data fus...
SASO
2008
IEEE
14 years 4 months ago
2008
IEEE
As technology progresses, we are seeing increasing numbers of small devices that have the capability to store, process and forward information in our everyday physical environment...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. At the same time we see an increasing need for people to limit their interactions on...
DEXAW
2007
IEEE
14 years 4 months ago
2007
IEEE
In line with the growing success of e-commerce demands for an open infrastructure providing security services are growing stronger. Authentication and Authorisation Infrastructure...