24421 search results - page 327 / 4885 » Communicating Complex Systems |
131
Voted
FTRTFT
2000
Springer
15 years 7 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
131
Voted
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
119
Voted
CSREASAM
2006
15 years 5 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
127
Voted
ECIS
2000
15 years 5 months ago
2000
Abstract - Among other proposals to reform the German outpatient health care system the establishment of networks of cooperating physicians (doctors' networks) has found high ...
140
Voted
WSC
1997
15 years 5 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...