1788 search results - page 141 / 358 » Model Theory for Process Algebra |
142
Voted
PRDC
2009
IEEE
15 years 7 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
121
Voted
SAC
2003
ACM
15 years 6 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
90
Voted
VLDB
1997
ACM
15 years 5 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
114
Voted
ENTCS
2008
15 years 1 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
108
Voted
JCP
2008
15 years 1 months ago
2008
In the present paper, by applying the theory of stochastic processes and interacting particle systems and models, including stopping time theory and stochastic voter model, we mode...