21490 search results - page 3832 / 4298 » Business Process Modeling |
147
Voted
JCDL
2006
ACM
16 years 3 days ago
2006
ACM
We describe an HTML web page segmentation algorithm, which is applied to segment online medical journal articles (regular HTML and PDF-Converted-HTML files). The web page content ...
163
Voted
MM
2006
ACM
16 years 3 days ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
170
click to vote
MOBIDE
2006
ACM
16 years 3 days ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
174
Voted
PLDI
2006
ACM
16 years 3 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
138
Voted
SAC
2006
ACM
16 years 3 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...