2838 search results - page 172 / 568 » Verifying Controlled Components |
AINA
2008
IEEE
14 years 5 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
SPATIALCOGNITION
2004
Springer
14 years 4 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
ASIAN
2007
Springer
14 years 2 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
MOBICOM
1997
ACM
14 years 2 months ago
1997
ACM
This paperintroduces the notion of “universalinteraction,” allowing a device to adapt its functionality to exploit services it discovers as it moves into a new environment. Us...
SASO
2008
IEEE
14 years 5 months ago
2008
IEEE
The distribution of data in large dynamic wireless sensor networks presents a difficult problem due to node mobility, link failures, and traffic congestion. In this paper, we pr...