2167 search results - page 79 / 434 » Stochastic Process Algebras |
141
click to vote
BPSC
2009
15 years 6 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
176
Voted
NGITS
1999
Springer
15 years 9 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
227
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
180
click to vote
CALCO
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
123
click to vote
WSC
2004
15 years 7 months ago
2004
An important step in designing stochastic simulation is modeling the uncertainty in the input environment of the system being studied. Obtaining a reasonable representation of thi...