3575 search results - page 312 / 715 » Modeling Concurrency with Geometry |
207
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Several marketing problems involve prediction of customer purchase behavior and forecasting future preferences. We consider predictive modeling of large scale, bi-modal or multimo...
175
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
183
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
218
click to vote
IFM
2005
Springer
16 years 28 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
203
click to vote
BIRTHDAY
2004
Springer
16 years 25 days ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...