4966 search results - page 292 / 994 » its 2010 |
157
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
171
click to vote
ENVSOFT
2000
15 years 6 months ago
2000
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
176
click to vote
DPD
2002
15 years 6 months ago
2002
Data mining is a new, important and fast growing database application. Outlier (exception) detection is one kind of data mining, which can be applied in a variety of areas like mon...
166
click to vote
DPD
2002
15 years 6 months ago
2002
This paper discusses the currency management mechanisms used in Deno, a replicated object storage system designed for use in mobile and weakly-connected environments. Deno primari...
146
click to vote
DSS
2002
15 years 6 months ago
2002
The success of an executive information system (EIS) depends upon many factors, including providing support for the strategic management process (SMP). The SMP is comprised of fiv...