Sciweavers

19367 search results - page 350 / 3874
» Fine-Grain Process Modelling
Sort
View
ADC
2004
Springer
103views Database» more  ADC 2004»
15 years 9 months ago
Optimizing The Lazy DFA Approach for XML Stream Processing
Lazy DFA (Deterministic Finite Automata) approach has been recently proposed to for efficient XML stream data processing. This paper discusses the drawbacks of the approach, sugge...
Danny Z. Chen, Raymond K. Wong
FOSSACS
2006
Springer
15 years 8 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
ICALP
2000
Springer
15 years 8 months ago
Formalizing the Development of Agent-Based Systems Using Graph Processes
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
Ralph Depke, Reiko Heckel
BPM
2005
Springer
133views Business» more  BPM 2005»
15 years 6 months ago
Towards Integrating Business Policies with Business Processes
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...
Zoran Milosevic
ISMB
1993
15 years 5 months ago
Grammatical Formalization of Metabolic Processes
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
Ralf Hofestädt