Sciweavers

2231 search results - page 170 / 447
» Alternation as a programming paradigm
Sort
View
IPAW
2010
15 years 2 months ago
Data Provenance in Distributed Propagator Networks
Abstract. The heterogeneous and unreliable nature of distributed systems has created a distinct need for the inclusion of provenance within their design to allow for error correcti...
Ian Jacobi
IFIP
2010
Springer
14 years 11 months ago
Modular Plans for Secure Service Composition
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
CORR
2011
Springer
166views Education» more  CORR 2011»
14 years 8 months ago
An Overview of Portable Distributed Techniques
In this paper, we reviewed of several portable parallel programming paradigms for use in a distributed programming environment. The Techniques reviewed here are portable. These ar...
Sanjay Bansal, Nirved Pandey
287
Voted
COSIT
2011
Springer
322views GIS» more  COSIT 2011»
14 years 4 months ago
CLP(QS): A Declarative Spatial Reasoning Framework
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
Mehul Bhatt, Jae Hee Lee, Carl Schultz
EUROGP
2007
Springer
104views Optimization» more  EUROGP 2007»
15 years 10 months ago
Code Regulation in Open Ended Evolution
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
Lidia Yamamoto