471 search results - page 9 / 95 » Case studies for self-organization in computer science |
SPIN
1999
Springer
14 years 1 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
SPIN
2000
Springer
14 years 13 days ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
CAI
2002
Springer
13 years 8 months ago
2002
Springer
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...
COMPLEX
2009
Springer
14 years 1 months ago
2009
Springer
Most influence networks are depicted as nodes and links operating in the manner of a feed-forward neural network where both nodes and links appear to be homogenous in their nature....