254 search results - page 19 / 51 » Extended Process Rewrite Systems: Expressiveness and Reachab... |
101
click to vote
FLAIRS
2001
15 years 1 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
132
click to vote
TIM
2010
14 years 6 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
101
click to vote
INEX
2004
Springer
15 years 5 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
100
click to vote
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...