1724 search results - page 169 / 345 » Models for Concurrency |
89
Voted
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
83
Voted
BPM
2004
Springer
15 years 3 months ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
80
Voted
SPAA
1990
ACM
15 years 2 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
109
Voted
GLVLSI
2007
IEEE
15 years 2 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
79
Voted
ICDM
2008
IEEE
15 years 4 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...