904 search results - page 164 / 181 » Towards Integrating Business Policies with Business Processe... |
SIGADA
2005
Springer
15 years 2 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Frequently, Security Monitoring is equated with network intrusion detection. However, Security Monitoring has a much broader scope. It also comprises detection of insider attacks...
HICSS
2007
IEEE
15 years 3 months ago
2007
IEEE
In service-oriented environments, the fluidity of the marketplace introduces changes in service offerings and subsequent connection failures for users still bound to outdated serv...
102
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
161
click to vote
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
Reverse skyline queries over uncertain databases have many important applications such as sensor data monitoring and business planning. Due to the existence of uncertainty in many...