Sciweavers

3689 search results - page 164 / 738
» A Language with Distributed Scope
Sort
View
CDES
2006
80views Hardware» more  CDES 2006»
15 years 4 months ago
Communicating Distributed H systems with Simple Splicing Rules
In this paper we define communicating distributed H systems with simple splicing rules of types (1,3), (1,4) and (2,3) and study the generative capacity. keyword: Splicing systems,...
Kamala Krithivasan, Prahladh Harsha, Muralidhar Ta...
SIGMOD
2008
ACM
190views Database» more  SIGMOD 2008»
16 years 3 months ago
XRPC: distributed XQuery and update processing with heterogeneous XQuery engines
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
Ying Zhang, Peter A. Boncz
230
Voted
POPL
2005
ACM
16 years 3 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
15 years 5 months ago
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
Jasen Markovski, Erik P. de Vink
SAFECOMP
1998
Springer
15 years 7 months ago
EURIS, a Specification Method for Distributed Interlockings
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de...