3575 search results - page 312 / 715 » Modeling Concurrency with Geometry |
180
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...
155
click to vote
COORDINATION
2007
Springer
16 years 23 days 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...
153
click to vote
GPCE
2007
Springer
16 years 23 days 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...
198
click to vote
IFM
2005
Springer
16 years 3 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...
180
click to vote
BIRTHDAY
2004
Springer
16 years 1 hour 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...