3172 search results - page 133 / 635 » Combining Specification Techniques for Processes, Data and T... |
162
click to vote
PAKDD
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents a new prediction model for predicting when an online customer leaves a current page and which next Web page the customer will visit. The model can forecast the ...
225
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We present a replication-based approach to fault-tolerant distributed stream processing in the face of node failures, network failures, and network partitions. Our approach aims t...
161
click to vote
ERLANG
2004
ACM
15 years 12 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
175
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
157
click to vote
BSN
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper introduces an encapsulated sensor node that is devised to monitor and record motion patterns over long, quotidian periods of time with potential application in psycholo...