2016 search results - page 162 / 404 » Megamaps: Construction and Examples |
197
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Despite recent developments in higher-level middleware for the Grid supporting high level of ease-of-programming, hurdles for widespread adoption of Grids remain high, due to (1) ...
200
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
140
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
To create an understanding of enterprises and the ways they do business, a starting point could be to identify the main actors and the values transferred between them. Business mod...
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
163
click to vote
DBISP2P
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The research on P2P systems which support skewed key distributions has rapidly advanced in the recent years. Yet, the assumptions on the skews we are dealing with remaine...