1054 search results - page 120 / 211 » Hint Controlled Distribution with Parallel File Systems |
127
Voted
REX
1991
15 years 6 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
117
Voted
GPC
2008
Springer
15 years 3 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
114
click to vote
CONCUR
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
106
click to vote
COLCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
134
click to vote
CLOUDCOM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...