3305 search results - page 65 / 661 » Models and Modeling Infrastructures for Global Computational... |
147
Voted
WOA
2010
15 years 1 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
100
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes the study of a new computation model that attempts to address the underlying sources of performance degradation (e.g. latency, overhead, and starvation) and th...
105
Voted
MDAFA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
137
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
An Enterprise Service Bus (ESB) is a standards-based integration platform that combines messaging, web services, data transformation, and intelligent routing in a highly distribut...
101
Voted
SSS
2010
Springer
15 years 1 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...