13140 search results - page 198 / 2628 » Coupling Component Systems towards Systems of Systems |
136
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
167
click to vote
IEEEAMS
2003
IEEE
15 years 10 months ago
2003
IEEE
The last three decades proved Moore’s Law. We witnessed an exponential increase in processing power, memory capacity and communication bandwidth and we expect this increase to c...
146
click to vote
ACSW
2004
15 years 6 months ago
2004
Due to rapid development in the global market, workflow systems are not limited to a single country. Electronic business like workflows span across countries and hence there arise...
122
click to vote
LISA
1994
15 years 6 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
154
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Granuloma is a medical term for a ball-like collection of immune cells that attempts to remove foreign substances from a host organism. This response is a special type o...