Sciweavers

2381 search results - page 180 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
SDL
2001
73views Hardware» more  SDL 2001»
15 years 3 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
ICWS
2003
IEEE
15 years 3 months ago
Adaptive Workflow = Web Services + Agents
Workflow management systems exactly enact business processes described in a process description language. Unfortunately, such strict adherence to the prescribed workflow makes it ...
Paul A. Buhler, José M. Vidal, Harko Verhag...
AMC
2006
145views more  AMC 2006»
15 years 2 months ago
Computing the moments of high dimensional solutions of the master equation
Derived from the Markov character only, the master equation of chemical reactions is an accurate stochastic description of quite general systems in chemistry. Exact solutions of t...
Stefan Engblom
CL
2000
Springer
15 years 1 months ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig...
CORR
2009
Springer
67views Education» more  CORR 2009»
14 years 11 months ago
On Measuring Non-Recursive Trade-Offs
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
Hermann Gruber, Markus Holzer, Martin Kutrib