2637 search results - page 133 / 528 » Tool Supported Specification and Simulation of Distributed S... |
148
click to vote
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 ...
140
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
145
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
152
click to vote
CLUSTER
2002
IEEE
15 years 4 months ago
2002
IEEE
Data replication is a key issue in a Data Grid and can be managed in different ways and at different levels of granularity: for example, at the file level or object level. In the ...
175
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
To determine the important trends and issues in thousands of comments from customers and make strategic decisions about business operations, managers must go over these messages m...