1438 search results - page 271 / 288 » Models for Trustworthy Service and Process Oriented Systems |
102
click to vote
ISSA
2004
15 years 1 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
107
click to vote
FC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Consider an “information market” where private and potentially sensitive data are collected, treated as commodity and processed into aggregated information with comme...
WWW
2008
ACM
16 years 12 days ago
2008
ACM
In the sponsored search model, search engines are paid by businesses that are interested in displaying ads for their site alongside the search results. Businesses bid for keywords...
KDD
2001
ACM
16 years 3 days ago
2001
ACM
REVI-MINER is a KDD-environment which supports the detection and analysis of deviations in warranty and goodwill cost statements. The system was developed within the framework of ...
101
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...