5200 search results - page 267 / 1040 » Symbolic models for control systems |
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
IEAAIE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
SIGOPS
2010
13 years 4 months ago
2010
Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending o...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
WSC
2004
13 years 11 months ago
2004
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...