Sciweavers

926 search results - page 4 / 186
» Pulp-based computing: a framework for building computers out...
Sort
View
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 9 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
MASCOTS
2004
13 years 9 months ago
A Framework for Resource Allocation in Grid Computing
Grid computing is the future computing paradigm for enterprise applications. An enterprise application running on a grid is composed of a set of SLA-constrained sub-tasks demandin...
Daniel A. Menascé, Emiliano Casalicchio
IJCAI
2007
13 years 9 months ago
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
Carlos Iván Chesñevar, Guillermo Ric...
ISORC
2000
IEEE
14 years 6 hour ago
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
Laurent Pautet, Samuel Tardieu
EUROPAR
2007
Springer
14 years 1 months ago
SymGrid: A Framework for Symbolic Computation on the Grid
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
Kevin Hammond, Abdallah Al Zain, Gene Cooperman, D...