Sciweavers

11066 search results - page 404 / 2214
» Linearity in Process Languages
Sort
View
FUIN
2007
114views more  FUIN 2007»
15 years 6 months ago
Cellular Devices and Unary Languages
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
Andreas Klein, Martin Kutrib
FOSSACS
2006
Springer
15 years 10 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
CIDR
2007
163views Algorithms» more  CIDR 2007»
15 years 8 months ago
Demaq: A Foundation for Declarative XML Message Processing
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
WSC
2000
15 years 8 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März
ISMB
1993
15 years 8 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