352 search results - page 32 / 71 » Establishing norms with metanorms in distributed computation... |
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
The unidirectional nature of propagation and predictable delays are two characteristics of optically pipelined buses that have made them popular in recent years. Many models have ...
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
GRID
2008
Springer
14 years 11 months ago
2008
Springer
The Grid accounting and auditing mechanisms were designed under the assumption that users would submit their jobs directly to the Grid gatekeepers. However, many groups are starti...
PODS
2008
ACM
15 years 10 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...