Sciweavers

3689 search results - page 164 / 738
» A Language with Distributed Scope
Sort
View
CDES
2006
80views Hardware» more  CDES 2006»
15 years 7 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 6 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
POPL
2005
ACM
16 years 6 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 8 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 10 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...