43264 search results - page 106 / 8653 » Comparing models of computation |
103
click to vote
GC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
111
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
119
Voted
TAPSOFT
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
115
click to vote
IMC
2010
ACM
15 years 10 days ago
2010
ACM
While many public cloud providers offer pay-as-you-go computing, their varying approaches to infrastructure, virtualization, and software services lead to a problem of plenty. To ...
124
click to vote
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...