4573 search results - page 859 / 915 » Automated Reasoning |
111
click to vote
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
105
click to vote
RIDE
1999
IEEE
15 years 4 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
146
click to vote
KDD
1998
ACM
15 years 4 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
SIGSOFT
1994
ACM
15 years 3 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
CAISE
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...