47 search results - page 7 / 10 » Systematic Correct Construction of Self-stabilizing Systems:... |
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
NPL
2006
13 years 7 months ago
2006
In this paper we construct an associative memory model based on the restricted Coulomb energy (RCE) network. We propose a simple architecture and training algorithm for this RCE-b...
ICAC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
ICSM
2007
IEEE
14 years 1 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
MICRO
2007
IEEE
13 years 7 months ago
2007
IEEE
Design complexity is rapidly becoming a limiting factor in the design of modern, high-performance microprocessors. This paper introduces an optimization technique to improve the e...