732 search results - page 42 / 147 » Timed Quorum Systems for Large-Scale and Dynamic Environment... |
AMT
2006
Springer
13 years 11 months ago
2006
Springer
In high-tech industries, most manufacturing processes are complexly intertwined, in that manufacturers or engineers can hardly control a whole set of processes. They are only capa...
ROBOCUP
2007
Springer
14 years 1 months ago
2007
Springer
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
ICCAD
1994
IEEE
13 years 12 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...