Sciweavers

2957 search results - page 188 / 592
» Processing Self Corrections
Sort
View
APN
2000
Springer
14 years 1 months ago
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst
IJCAI
1989
13 years 10 months ago
An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...
Burkhard Freitag, Bernhard Huber, Wolfgang Womann
SSS
2007
Springer
121views Control Systems» more  SSS 2007»
14 years 3 months ago
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
Danny Dolev, Ezra N. Hoch
FOAL
2009
ACM
14 years 1 months ago
Graph-based specification and simulation of featherweight Java with around advice
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
Tom Staijen, Arend Rensink
WWW
2005
ACM
14 years 10 months ago
Gimme' the context: context-driven automatic semantic annotation with C-PANKOW
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
Günter Ladwig, Philipp Cimiano, Steffen Staab