Sciweavers

1377 search results - page 26 / 276
» Flit-Reservation Flow Control
Sort
View
SIGMOD
1993
ACM
106views Database» more  SIGMOD 1993»
14 years 2 months ago
Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications
In a research and technology applicationproject at Bellcore, we used multidatabase transactions to model multisystem workflows of telecommunication applications. During the projec...
W. Woody Jin, Marek Rusinkiewicz, Linda Ness, Amit...
BPM
2000
Springer
133views Business» more  BPM 2000»
14 years 1 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
SIGCOMM
2010
ACM
13 years 10 months ago
QuagFlow: partnering Quagga with OpenFlow
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
Marcelo Ribeiro Nascimento, Christian Esteve Rothe...
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 10 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
ESOP
2011
Springer
13 years 1 months ago
Typing Local Control and State Using Flow Analysis
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi