Sciweavers

29046 search results - page 66 / 5810
» Computable Models
Sort
View
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
15 years 5 months ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...
ICCS
2007
Springer
15 years 6 months ago
Composing Different Models of Computation in Kepler and Ptolemy II
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
Antoon Goderis, Christopher Brooks, Ilkay Altintas...
IJAR
2007
104views more  IJAR 2007»
14 years 11 months ago
On representation and aggregation of social evaluations in computational trust and reputation models
Interest for computational trust and reputation models is on the rise. One of the most important aspects of these models is how they deal with information received from other indi...
Jordi Sabater-Mir, Mario Paolucci
CLUSTER
2006
IEEE
15 years 6 months ago
Multi-Objective Models for Scheduling Jobs on Parallel Computer Systems
This paper is concerned with the design of goal-oriented scheduling policies that deal with multiple goals on production parallel systems. Several objective models are compared, i...
Sangsuree Vasupongayya, Su-Hui Chiang
ICMCS
2007
IEEE
169views Multimedia» more  ICMCS 2007»
15 years 6 months ago
Identifying Computer Graphics using HSV Color Model and Statistical Moments of Characteristic Functions
Computer graphics generated by advanced rendering software come to appear so photorealistic that it has become difficult for people to visually differentiate them from photographi...
Wen Chen, Yun Q. Shi, Guorong Xuan